| Publication | Date of Publication | Type |
|---|
Formulas of one variable in KR
The Australasian Journal of Logic | 2026-03-17 | Paper |
Failure of Beth's theorem in relevance logics
The Review of Symbolic Logic | 2025-10-21 | Paper |
Geometry of Relevant Implication II
The Australasian Journal of Logic | 2023-04-26 | Paper |
| scientific article; zbMATH DE number 7576861 (Why is no real title available?) | 2022-08-26 | Paper |
A Logical Autobiography
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Comments on the Contributions
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Ehrenfeucht-Fraïssé games without identity
The Australasian Journal of Logic | 2021-06-29 | Paper |
The Story of \gamma γ
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Relevant implication and ordered geometry
The Australasian Journal of Logic | 2019-12-17 | Paper |
| scientific article; zbMATH DE number 7046713 (Why is no real title available?) | 2019-04-23 | Paper |
Russell and Gödel
The Bulletin of Symbolic Logic | 2017-07-21 | Paper |
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
| Relevance logic: problems open and closed | 2017-03-07 | Paper |
<b>Pavel Pudlák.<i>Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction</i></b>. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695
Philosophia Mathematica | 2017-03-03 | Paper |
Mathematical depth
Philosophia Mathematica | 2017-03-03 | Paper |
| scientific article; zbMATH DE number 6538222 (Why is no real title available?) | 2016-02-01 | Paper |
SEBASTIEN GANDON. Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics. New York: Palgrave Macmillan, 2012. ISBN 978-0-230-57699-5. Pp. xiv + 266
Philosophia Mathematica | 2015-04-17 | Paper |
The complexity of analytic tableaux
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6371937 (Why is no real title available?) | 2014-11-23 | Paper |
Failure of interpolation in constant domain intuitionistic logic
The Journal of Symbolic Logic | 2014-01-07 | Paper |
Failure of interpolation in constant domain intuitionistic logic
The Journal of Symbolic Logic | 2014-01-07 | Paper |
Henry M. Sheffer and notational relativity
History and Philosophy of Logic | 2013-04-18 | Paper |
Width and size of regular resolution proofs
Logical Methods in Computer Science | 2012-06-01 | Paper |
The depth of resolution proofs
Studia Logica | 2011-11-23 | Paper |
scientific article; zbMATH DE number 5899257 (Why is no real title available?)
Theory of Computing | 2011-05-24 | Paper |
A near-optimal separation of regular and general resolution
SIAM Journal on Computing | 2011-05-17 | Paper |
| Proof theory | 2011-03-09 | Paper |
| Decorated linear order types and the theory of concatenation | 2011-03-02 | Paper |
Von Neumann, Gödel and complexity theory
The Bulletin of Symbolic Logic | 2011-01-13 | Paper |
Anderson and Belnap's invitation to sin
Journal of Philosophical Logic | 2010-10-06 | Paper |
An exponential separation between regular and general resolution
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing | 2010-08-05 | Paper |
| scientific article; zbMATH DE number 5613975 (Why is no real title available?) | 2009-10-12 | Paper |
Enumerating Types of Boolean Functions
The Bulletin of Symbolic Logic | 2009-09-29 | Paper |
Supervaluation fixed-point logics of truth
Journal of Philosophical Logic | 2009-07-13 | Paper |
| Four variables suffice | 2009-05-27 | Paper |
Formalizing Dangerous SAT Encodings
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
Computer Science Logic | 2009-03-05 | Paper |
Regular and General Resolution: An Improved Separation
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Betweenness and Comparability Obtained from Binary Relations
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Synonymous logics: a correction
Journal of Philosophical Logic | 2008-04-09 | Paper |
Width versus size in resolution proofs
Theoretical Computer Science | 2007-09-28 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
The complexity of analytic tableaux
Journal of Symbolic Logic | 2006-11-29 | Paper |
The Complexity of Propositional Proofs with the Substitution Rule
Logic Journal of the IGPL | 2005-10-18 | Paper |
Matrix identities and the pigeonhole principle
Archive for Mathematical Logic | 2004-12-16 | Paper |
| scientific article; zbMATH DE number 2101960 (Why is no real title available?) | 2004-09-22 | Paper |
Synonymous logics
Journal of Philosophical Logic | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1860672 (Why is no real title available?) | 2003-05-15 | Paper |
Resolution proofs of matching principles
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
| scientific article; zbMATH DE number 1852926 (Why is no real title available?) | 2003-01-29 | Paper |
| scientific article; zbMATH DE number 1256654 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1612537 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1420859 (Why is no real title available?) | 2000-08-02 | Paper |
The complexity of decision procedures in relevance logic II
Journal of Symbolic Logic | 2000-06-28 | Paper |
The symmetry rule in propositional logic
Discrete Applied Mathematics | 2000-02-14 | Paper |
| scientific article; zbMATH DE number 1303438 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1156870 (Why is no real title available?) | 1999-05-16 | Paper |
The number of lines in Frege proofs with substitution
Archive for Mathematical Logic | 1998-08-19 | Paper |
| The graph constructions ofHaj�s and Ore | 1998-04-08 | Paper |
Simplified lower bounds for propositional proofs
Notre Dame Journal of Formal Logic | 1997-12-02 | Paper |
| scientific article; zbMATH DE number 1028817 (Why is no real title available?) | 1997-07-08 | Paper |
The relative complexity of resolution and cut-free Gentzen systems
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
The Complexity of Propositional Proofs
The Bulletin of Symbolic Logic | 1996-09-09 | Paper |
The Complexity of Propositional Proofs
The Bulletin of Symbolic Logic | 1996-09-09 | Paper |
Duality for algebras of relevant logics
Studia Logica | 1996-08-22 | Paper |
The Complexity of the Hajós Calculus
SIAM Journal on Discrete Mathematics | 1996-03-18 | Paper |
| scientific article; zbMATH DE number 733396 (Why is no real title available?) | 1995-11-28 | Paper |
Decision problems for distributive lattice-ordered semigroups
Algebra Universalis | 1995-05-30 | Paper |
Failure of interpolation in relevant logics
Journal of Philosophical Logic | 1993-12-09 | Paper |
Functional interpretations of feasibly constructive arithmetic
Annals of Pure and Applied Logic | 1993-10-13 | Paper |
| scientific article; zbMATH DE number 176201 (Why is no real title available?) | 1993-05-18 | Paper |
Approximation and Small-Depth Frege Proofs
SIAM Journal on Computing | 1993-03-09 | Paper |
| scientific article; zbMATH DE number 65760 (Why is no real title available?) | 1992-09-27 | Paper |
The complexity of Gentzen systems for propositional logic
Theoretical Computer Science | 1989-01-01 | Paper |
Further Results on Proof Theories For Semilattice Logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
Hard examples for resolution
Journal of the ACM | 1987-01-01 | Paper |
Proof Theories for Semilattice Logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
A contractionless semilattice semantics
Journal of Symbolic Logic | 1987-01-01 | Paper |
The undecidability of entailment and relevant implication
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887654 (Why is no real title available?) | 1983-01-01 | Paper |
Equational classes of distributive double p-algebras
Algebra Universalis | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3781131 (Why is no real title available?) | 1981-01-01 | Paper |
Distributive lattices with a dual homomorphic operation. II
Studia Logica | 1981-01-01 | Paper |
Decidability and the finite model property
Journal of Philosophical Logic | 1981-01-01 | Paper |
Projective distributive <i>p</i>-algebras
Bulletin of the Australian Mathematical Society | 1981-01-01 | Paper |
Distributive lattices with a dual homomorphic operation
Studia Logica | 1979-01-01 | Paper |
A topological representation theory for lattices
Algebra Universalis | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3606442 (Why is no real title available?) | 1977-01-01 | Paper |
Implicational formulas in intuitionistic logic
Journal of Symbolic Logic | 1975-01-01 | Paper |
Free Heyting algebras
Algebra Universalis | 1973-01-01 | Paper |
A semantical theory of analytic implication
Journal of Philosophical Logic | 1973-01-01 | Paper |
An Interpretation of Many-Valued Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1973-01-01 | Paper |
Free distributive pseudo-complemented lattices
Algebra Universalis | 1973-01-01 | Paper |
Semantics for relevant logics
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3363520 (Why is no real title available?) | 1971-01-01 | Paper |
Completeness of weak implication
Theoria | 1971-01-01 | Paper |
