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

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.

Author Profiles

Richard Zach
University of Calgary

Analytics

Added to PP
2017-10-10

Downloads
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?