On the unification of classical, intuitionistic and affine logics | 0 | 0.34 | 2019 |
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. | 0 | 0.34 | 2016 |
Unifying Classical and Intuitionistic Logics for Computational Control | 3 | 0.66 | 2013 |
Kripke semantics and proof systems for combining intuitionistic logic and classical logic. | 5 | 0.48 | 2013 |
A focused approach to combining logics | 8 | 0.60 | 2011 |
A Unified Sequent Calculus for Focused Proofs | 6 | 0.53 | 2009 |
Focusing and polarization in linear, intuitionistic, and classical logics | 72 | 2.81 | 2009 |
Focusing and polarization in intuitionistic logic | 31 | 1.68 | 2007 |
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts | 13 | 0.69 | 2004 |
Tradeoffs in the Intensional Representation of Lambda Terms | 7 | 0.58 | 2002 |