3239 search results - page 36 / 648 » A Logical Process Calculus |
76
Voted
JOLLI
2006
15 years 14 days ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
99
Voted
LOGCOM
2007
15 years 11 days ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
102
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
106
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...