446 search results - page 3 / 90 » Automating Theories in Intuitionistic Logic |
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
100
click to vote
CSL
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
JSYML
2008
14 years 10 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
70
Voted
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
87
Voted
BSL
2004
14 years 10 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...