1588 search results - page 5 / 318 » On the Logic of Constitutive Rules |
EUSFLAT
2009
13 years 5 months ago
2009
EUSFLAT
2009
13 years 5 months ago
2009
COMMA
2008
13 years 8 months ago
2008
The past ten years have shown a great variety of approaches for formal argumentation. An interesting question is to which extent these various formalisms correspond to the differen...
CIE
2010
Springer
14 years 6 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
AGP
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...