- On the Complexity of the Disjunction Property in Intuitionistic and Modal Logics Mauro Ferrari Camillo Fiorentini Guido Fiorino Mon 14 September 2020
- The Disjunction Property according to Kreisel and Putnam Dick de Jongh Mon 14 September 2020
- A short proof of the Strong Normalization of Classical Natural Deduction with Disjunctio René David Karim Nour Mon 14 September 2020
- Definable decompositions for graphs of bounded linear cliquewidth Mikołaj Bojańczyk Martin Grohe Michał Pilipczuk Sat 12 September 2020
- Ambiguity Hierarchy of Regular Infinite Tree Languages Alexander Rabinovich Doron Tiferet Sat 12 September 2020
- The complexity of the disjunction and existential properties in intuitionistic logic Sam Buss Grigori Mints Sat 12 September 2020
- From Semantics to Rules: A Machine Assisted Analysis Catarina Coquand Fri 11 September 2020
- Categorical Reconstruction of a Reduction Free Normalization Proof Thorsten Altenkirch Martin Hofmann Thomas Streicher Fri 11 September 2020
- Short proofs of normalization for the simply- typed łambda-calculus, permutative conversions and Gødel's T Felix Joachimski Ralph Matthes Wed 09 September 2020
- Practical Proof Search for Coq by Type Inhabitation Łukasz Czajka Wed 09 September 2020
- Intuitionistic Games: Determinacy, Completeness, and Normalization Paweł Urzyczyn Wed 09 September 2020
- Sur quelques points de la logique de M. Brouwer Valery Glivenko Tue 08 September 2020
- Untersuchungen uber das logische Schließen. II Gerhard Gentzen Tue 08 September 2020
- Untersuchungen uber das logische Schließen. I Gerhard Gentzen Tue 08 September 2020
- Zum intuitionistischen Aussagenkalkul Kurt Gødel Tue 08 September 2020
- The power of pi Nicolas Oury Wouter Swierstra Mon 07 September 2020
- A Functional (Monadic) Second-Order Theory of Infinite Trees Anupam Das Colin Riba Mon 07 September 2020
- Rudimentary Kripke models for the intuitionistic propositional calculus Kosta Došen Mon 07 September 2020
- An Intuitionistic Completeness Theorem for Classical Predicate Logic Victor N. Krivtsov Mon 07 September 2020
- Intuitionistic completeness of first-order logic Robert Constable Mark Bickford Mon 07 September 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
