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

In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press (2006)
  Copy   BIBTEX


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.

Author Profiles

Richard Zach
University of Calgary


Added to PP

335 (#43,752)

6 months
65 (#58,776)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?