247 search results - page 6 / 50 » A Computational Structure for the Propositional Calculus |
111
Voted
AIML
2004
15 years 1 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
COMBINATORICS
2004
15 years 9 days ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
113
Voted
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
ENTCS
2008
15 years 15 days ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer