741 search results - page 3 / 149 » A Local System for Classical Logic |
111
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
105
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
107
Voted
CSL
2002
Springer
15 years 28 days ago
2002
Springer
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...
105
Voted
SARA
2009
Springer
15 years 7 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
123
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
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...