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