| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7593551 (Why is no real title available?)
| 2022-09-27 | Paper |
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
Outstanding Contributions to Logic | 2022-02-04 | Paper |
K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
JGXYZ: an ATP system for gap and glut logics
| 2020-03-10 | Paper |
The logic for metaphysical conceptions of vagueness
| 2020-02-13 | Paper |
Second-order logic of paradox
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Pecularities of some three- and four-valued second order logics
Logica Universalis | 2018-12-12 | Paper |
Kernel contraction and base dependence
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
Sameness and Referential Opacity in Aristotle
Nôus | 2017-07-14 | Paper |
On finsler entropy of smooth distributions and Stefan-Sussman foliations
| 2015-06-10 | Paper |
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
Studia Logica | 2015-02-27 | Paper |
Geometrical structures on the prolongation of a pre-Lie algebroid on fibered manifolds and application to Partial Finsler geometry on foliated anchored bundle
| 2014-12-21 | Paper |
Compositional belief update
| 2009-04-28 | Paper |
Is logic all in our heads? From naturalism to psychologism
Studia Logica | 2008-07-30 | Paper |
Synonymous logics: a correction
Journal of Philosophical Logic | 2008-04-09 | Paper |
Ternary Exclusive Or
Logic Journal of the IGPL | 2008-03-07 | Paper |
The case for psychologism in default and inheritance reasoning
Synthese | 2005-12-12 | Paper |
On some alleged misconceptions about fuzzy logic
Artificial Intelligence Review | 2005-03-15 | Paper |
scientific article; zbMATH DE number 1809860 (Why is no real title available?)
| 2003-09-21 | Paper |
Synonymous logics
Journal of Philosophical Logic | 2003-08-21 | Paper |
The IJCAR ATP system competition
Journal of Automated Reasoning | 2002-08-20 | Paper |
Fuzzy logic. A misplaced appeal
| 2002-02-24 | Paper |
A Brief History of Natural Deduction
History and Philosophy of Logic | 2001-12-05 | Paper |
Semantic compositionality. Free algebras and the argument from ambiguity
| 2001-10-10 | Paper |
A formal analysis of relevance
Erkenntnis | 2001-03-22 | Paper |
Did Frege believe Frege's principle?
Journal of Logic, Language and Information | 2001-02-18 | Paper |
Automated natural deduction in THINKER
Studia Logica | 2001-02-14 | Paper |
An erratum for some errata to ATP problems
Journal of Automated Reasoning | 1997-08-17 | Paper |
scientific article; zbMATH DE number 1028809 (Why is no real title available?)
| 1997-07-08 | Paper |
Identity in modal logic theorem proving
Studia Logica | 1994-10-17 | Paper |
scientific article; zbMATH DE number 67847 (Why is no real title available?)
| 1992-09-27 | Paper |
Post's functional completeness theorem
Notre Dame Journal of Formal Logic | 1992-06-25 | Paper |
On proving functional incompleteness in symbolic logic classes
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Errata to ``75 problems for testing automatic theorem provers
Journal of Automated Reasoning | 1988-01-01 | Paper |
Seventy-five problems for testing automatic theorem provers
Journal of Automated Reasoning | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3922620 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3946092 (Why is no real title available?)
| 1984-01-01 | Paper |
(X)
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Some notes concerning fuzzy logics
Linguistics and Philosophy | 1977-01-01 | Paper |
