Sciweavers

LICS
2012
IEEE
12 years 1 months ago
Countermodels from Sequent Calculi in Multi-Modal Logics
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
Deepak Garg, Valerio Genovese, Sara Negri
JAR
2010
123views more  JAR 2010»
13 years 10 months ago
A Framework for Proof Systems
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
Vivek Nigam, Dale Miller
FROCOS
2007
Springer
14 years 5 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
LFCS
2009
Springer
14 years 6 months ago
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
Antoine Genitrini, Jakub Kozik