177 search results - page 1 / 36 » Linearizing Intuitionistic Implication |
LICS
1991
IEEE
13 years 8 months ago
1991
IEEE
CSL
2002
Springer
13 years 4 months 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...
EUSFLAT
2003
13 years 6 months ago
2003
We discuss the algebraic properties of intuitionistic fuzzy implications. We examine the conjugacy problem in this family of functions. The characterizations of intuitionistic fuz...
LICS
1991
IEEE
13 years 8 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...