Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta

In Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press (2006)
  Copy   BIBTEX

Abstract

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
Fuzzy logics based on [0,1)-continuous uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.

Analytics

Added to PP
2017-10-10

Downloads
477 (#51,055)

6 months
106 (#51,894)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richard Zach
University of Calgary

Citations of this work

No citations found.

Add more citations

References found in this work

Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.

View all 6 references / Add more references