• DML-CZ Home

03B20 Subsystems of classical logic (including intuitionistic logic) (4 articles)

• Švejdar, Vítězslav: On sequent calculi for intuitionistic propositional logic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 1, pp. 159-173
• Chajda, Ivan; Halaš, Radomír: Algebraic properties of pre-logics. (English). Mathematica Slovaca, vol. 52 (2002), issue 2, pp. 157-175
• Bílková, Marta: Monotone sequent calculus and resolution. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 42 (2001), issue 3, pp. 575-582
• Heyting, A.: O intuicionismu. (Czech) [On intuitionism]. Pokroky matematiky, fyziky a astronomie, vol. 17 (1972), issue 1, pp. 4-15