2272 search results - page 8 / 455 » A Calculus for |
TABLEAUX
2005
Springer
14 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
14 years 21 days 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
14 years 2 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...
RTA
2010
Springer
14 years 14 days 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
14 years 9 days ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with