Back to Search
Start Over
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics.
- Source :
- ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart
- Publication Year :
- 2007
-
Abstract
- In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional logics. The calculus uses labels and transition formulas and can be used to prove decidability and space complexity bounds for the respective logics. We also show that these calculi can be the base for uniform proof systems. Moreover, we present CondLean, a theorem prover in Prolog for these calculi. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15293785
- Volume :
- 8
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- ACM Transactions on Computational Logic
- Publication Type :
- Academic Journal
- Accession number :
- 26597061
- Full Text :
- https://doi.org/10.1145/1276920.1276924