2272 search results - page 8 / 455 » A Calculus for |
144
Voted
TABLEAUX
2005
Springer
15 years 11 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...
135
click to vote
ISMVL
1994
IEEE
15 years 9 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...
152
click to vote
FOSSACS
2007
Springer
15 years 11 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...
173
click to vote
RTA
2010
Springer
15 years 9 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...
142
click to vote
CIE
2006
Springer
15 years 9 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with