483 search results - page 18 / 97 » Intuitionistic hybrid logic |
115
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
107
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
109
click to vote
CADE
1997
Springer
15 years 6 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
113
click to vote
ENTCS
2008
15 years 1 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
122
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...