Sciweavers

Share
29 search results - page 1 / 6
» Combining Classical and Intuitionistic Implications
Sort
View
FROCOS
2007
Springer
9 years 2 months ago
Combining Classical and Intuitionistic Implications
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
Carlos Caleiro, Jaime Ramos
FROCOS
2000
Springer
8 years 12 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio
CSL
2002
Springer
8 years 8 months ago
Classical Linear Logic of Implications
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
Masahito Hasegawa
TYPES
2007
Springer
9 years 2 months ago
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...
Antoine Genitrini, Jakub Kozik, Marek Zaionc
WOLLIC
2009
Springer
9 years 2 months ago
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
Hugo Herbelin, Gyesik Lee
books