2272 search results - page 8 / 455 » A Calculus for |
TABLEAUX
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...
ISMVL
1994
IEEE
15 years 1 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
93
Voted
RTA
2010
Springer
15 years 1 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
CIE
2006
Springer
15 years 1 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with