ForTheL

ForTheL — the language of formal theories. ForTheL, an acronym for “Formal Theory Language”, is a formal language of mathematical texts, which imitates the natural (English) language of mathematical publications issued by human beings. There are two reasons to pursue a verbose “natural” style instead of basing on a terse unifying notation of some traditional language of logic. ...

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
  2. Lyaletski, Alexander: Evidence algorithm and inference search in first-order logics (2015)
  3. Letichevsky, A. A.; Lyaletski, A. V.; Morokhovets, M. K.: Glushkov’s evidence algorithm (2013)
  4. Verchinine, Konstantin; Lyaletski, Alexander; Paskevich, Andrei; Anisimov, Anatoly: On correctness of mathematical texts from a logical and practical point of view (2008)
  5. Verchinine, Konstantin; Lyaletski, Alexander; Paskevich, Andrei: System for automated deduction (SAD): A tool for proof verification (2007)
  6. Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin: SAD as a mathematical assistant -- how should we go from here to there? (2006)
  7. Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin: Theorem proving and proof verification in the system SAD (2004)
  8. Lyaletski, Alexander; Verchinine, Konstantine; Degtyarev, Anatoli; Paskevich, Andrey: System for automated deduction (SAD): Linguistic and deductive peculiarities (2002)