-
25Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991 (review)Journal of Applied Non-Classical Logics 4 (2): 215-220. 1994.
-
22Generalizing theorems in real closed fieldsAnnals of Pure and Applied Logic 75 (1-2): 3-23. 1995.Jan Krajíček posed the following problem: Is there is a generalization result in the theory of real closed fields of the form: If A is provable in length k for all n ϵ ω , then A is provable? It is argued that the answer to this question depends on the particular formulation of the “theory of real closed fields.” Four distinct formulations are investigated with respect to their generalization behavior. It is shown that there is a positive answer to Krajíček's question for 1. the axiom system RCF…Read more
-
20Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s ArrowJournal of Philosophical Logic 51 (3): 691-691. 2022.A Correction to this paper has been published: https://doi.org/10.1007/s10992-022-09665-5.
-
14Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d’aide à la lecture des articles fondateurs de Gerhard Gentzen. L’ouvrage introduit également aux trois principaux formalismes en usage : l’approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire e…Read more
APA Western Division
Calgary, Alberta, Canada
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
20th Century Philosophy |