A tableau system for Gödel-Dummett Logic based on a hypersequent calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1847 LNAI, Issue , 2000, Pages 98-111

  Avron, Arnon ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

HYPERSEQUENTS; TABLEAU SYSTEMS;

BIOMINERALIZATION;

CALCULATIONS;

EID: 84886015254     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_11     Document Type: Conference Paper

References (10)

1. A. Avellone, M. Ferrari, P. Miglioli. Duplication-free Tableaux Calculi Together with Cut-free and Contraction-free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Logic J. IGPL, 7:447-480, 1999.
2. A. Avron. Using Hypersequents in Proof Systems for Non-classical Logics. Annals of Mathematics and Artificial Intelligence, 4:225-248, 1991.
3. M. Baaz, G.C. Fermüller. Analytic Calculi for Projective Logics. In Proc. of TABLEAUX' 99, LNCS 1617, pp. 36-50, Springer-Verlag, Berlin, 1999.
4. J.M Dunn, R.K. Meyer. Algebraic Completeness Results for Dummett's LC and its extensions. Z. math. Logik und Grundlagen der Mathematik, 17:225-230, 1971.
5. M. Dummett. A Propositional Calculus with a Denumerable matrix. Journal of Symbolic Logic, 24:96-107, 1959.
6. R. Dyckhoff. A Deterministic Terminating Sequent Calculus for Gödel-Dummett Logic.Logic J. IGPL, 7:319-326, 1999.
7. K. Gödel. Zum intuitionistischen Aussagenkalkül, Ergeb. Math. Koll. 4:40, 1933.
8. P. Hajek. Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.
9. O. Sonobe. A Gentzen-type Formulation of Some Intermediate Propositional Logics. Journal of Tsuda College, 7:7-14, 1975.
10. A. Visser. On the Completeness Principle: A study of provability in Heyting's arithmetic. Annals of Mathematical Logic, 22:263-295, 1982.