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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
Archival date: 2017-10-10
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
29 ( #35,555 of 39,914 )

Recent downloads (6 months)
11 ( #30,911 of 39,914 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.