3658 search results - page 33 / 732 » The logic of proofs, semantically |
ENTCS
2006
13 years 9 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
LOGCOM
2006
13 years 9 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
COMMA
2006
13 years 10 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
CADE
2003
Springer
14 years 9 months ago
2003
Springer
