Cut-elimination in a sequents-of-relations calculus for Godel logic

Publisher Website

13 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/ismvl.2001.924570

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

A deterministic terminating sequent calculus for Godel-Dummett logic
Logic Journal of the IGPL, 1999
Analytic Calculi for Projective Logics
Published by Springer Nature ,1999
Metamathematics of Fuzzy Logic
Published by Springer Nature ,1998
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence, 1991
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
The Journal of Symbolic Logic, 1984
On the completenes principle: A study of provability in heyting's arithmetic and extensions
Annals of Mathematical Logic, 1982
Algebraic Completeness Results for Dummett's LC and Its Extensions
Mathematical Logic Quarterly, 1971
A propositional calculus with denumerable matrix
The Journal of Symbolic Logic, 1959