Author of the publication

A History of Natural Deduction.

, and . Logic: A History of its Central Concepts, volume 11 of Handbook of the History of Logic, Elsevier, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Reasoning for the Dialetheic Logic RM3., , and . FLAIRS, page 110-115. AAAI Press, (2017)Relations in Monadic Third-Order Logic.. J. Philosophical Logic, 26 (6): 619-628 (1997)Second-Order Logic of Paradox., and . Notre Dame J. Formal Log., 59 (4): 547-558 (2018)K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You., and . CoRR, (2017)Pecularities of Some Three- and Four-Valued Second Order Logics., and . Logica Universalis, 12 (3-4): 493-509 (2018)Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different., and . Stud Logica, 102 (6): 1103-1142 (2014)On quantifying out.. J. Philosophical Logic, 24 (3): 291-319 (1995)A History of Natural Deduction., and . Logic: A History of its Central Concepts, volume 11 of Handbook of the History of Logic, Elsevier, (2012)Actuality in Propositional Modal Logic., , and . Stud Logica, 101 (3): 487-503 (2013)