Publication | Date of Publication | Type |
---|
Geometry of Relevant Implication II | 2023-04-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5100012 | 2022-08-26 | Paper |
A Logical Autobiography | 2022-02-04 | Paper |
Comments on the Contributions | 2022-02-04 | Paper |
Ehrenfeucht-Fraïssé games without identity | 2021-06-29 | Paper |
The Story of $$\gamma $$ γ | 2020-08-07 | Paper |
Relevant Implication and Ordered Geometry | 2019-12-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4630790 | 2019-04-23 | Paper |
RUSSELL AND GÖDEL | 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. pp. 20–33. - Andrew R. Booker. Turing and the Primes. pp. 34–52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53–77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78–89. - Stephen Wolfram. What … | 2017-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q2966516 | 2017-03-07 | Paper |
Pavel Pudlák.Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 | 2017-03-03 | Paper |
Mathematical Depth | 2017-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3466634 | 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 | 2015-04-17 | Paper |
The complexity of analytic tableaux | 2015-02-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q2931086 | 2014-11-23 | Paper |
Failure of Interpolation in Constant Domain Intuitionistic Logic | 2014-01-07 | Paper |
Henry M. Sheffer and Notational Relativity | 2013-04-18 | Paper |
Width and size of regular resolution proofs | 2012-06-01 | Paper |
The depth of resolution proofs | 2011-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3002781 | 2011-05-24 | Paper |
A Near-Optimal Separation of Regular and General Resolution | 2011-05-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3081620 | 2011-03-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3079690 | 2011-03-02 | Paper |
Von Neumann, Gödel and Complexity Theory | 2011-01-13 | Paper |
Anderson and Belnap's invitation to sin | 2010-10-06 | Paper |
An exponential separation between regular and general resolution | 2010-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3181650 | 2009-10-12 | Paper |
Enumerating Types of Boolean Functions | 2009-09-29 | Paper |
Supervaluation fixed-point logics of truth | 2009-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3629230 | 2009-05-27 | Paper |
Formalizing Dangerous SAT Encodings | 2009-03-10 | Paper |
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space | 2009-03-05 | Paper |
Regular and General Resolution: An Improved Separation | 2008-05-27 | Paper |
Betweenness and Comparability Obtained from Binary Relations | 2008-04-24 | Paper |
Synonymous logics: a correction | 2008-04-09 | Paper |
Width versus size in resolution proofs | 2007-09-28 | Paper |
Relational Methods in Computer Science | 2007-05-02 | Paper |
Theory and Applications of Models of Computation | 2007-04-30 | Paper |
The complexity of analytic tableaux | 2006-11-29 | Paper |
The Complexity of Propositional Proofs with the Substitution Rule | 2005-10-18 | Paper |
Matrix identities and the pigeonhole principle | 2004-12-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4817185 | 2004-09-22 | Paper |
Synonymous logics | 2003-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790400 | 2003-05-15 | Paper |
Resolution proofs of matching principles | 2003-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4789456 | 2003-01-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4230340 | 2002-01-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2721182 | 2001-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4944927 | 2000-08-02 | Paper |
The complexity of decision procedures in relevance logic II | 2000-06-28 | Paper |
The symmetry rule in propositional logic | 2000-02-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4250047 | 1999-06-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4390867 | 1999-05-16 | Paper |
The number of lines in Frege proofs with substitution | 1998-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4376497 | 1998-04-08 | Paper |
Simplified lower bounds for propositional proofs | 1997-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4342080 | 1997-07-08 | Paper |
The relative complexity of resolution and cut-free Gentzen systems | 1997-05-13 | Paper |
The Complexity of Propositional Proofs | 1996-09-09 | Paper |
Duality for algebras of relevant logics | 1996-08-22 | Paper |
The Complexity of the Hajós Calculus | 1996-03-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4325784 | 1995-11-28 | Paper |
Decision problems for distributive lattice-ordered semigroups | 1995-05-30 | Paper |
Failure of interpolation in relevant logics | 1993-12-09 | Paper |
Functional interpretations of feasibly constructive arithmetic | 1993-10-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4035305 | 1993-05-18 | Paper |
Approximation and Small-Depth Frege Proofs | 1993-03-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4010371 | 1992-09-27 | Paper |
The complexity of Gentzen systems for propositional logic | 1989-01-01 | Paper |
Further Results on Proof Theories For Semilattice Logics | 1988-01-01 | Paper |
Proof Theories for Semilattice Logics | 1987-01-01 | Paper |
A contractionless semilattice semantics | 1987-01-01 | Paper |
Hard examples for resolution | 1987-01-01 | Paper |
The undecidability of entailment and relevant implication | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3222165 | 1983-01-01 | Paper |
Equational classes of distributive double p-algebras | 1982-01-01 | Paper |
Decidability and the finite model property | 1981-01-01 | Paper |
Distributive lattices with a dual homomorphic operation. II | 1981-01-01 | Paper |
Projective distributive p-algebras | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3960819 | 1981-01-01 | Paper |
Distributive lattices with a dual homomorphic operation | 1979-01-01 | Paper |
A topological representation theory for lattices | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4172039 | 1977-01-01 | Paper |
Implicational formulas in intuitionistic logic | 1975-01-01 | Paper |
Free Heyting algebras | 1973-01-01 | Paper |
Free distributive pseudo-complemented lattices | 1973-01-01 | Paper |
A semantical theory of analytic implication | 1973-01-01 | Paper |
An Interpretation of Many-Valued Logic | 1973-01-01 | Paper |
Semantics for relevant logics | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5636857 | 1971-01-01 | Paper |
Completeness of weak implication | 1971-01-01 | Paper |