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
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.
PhilPapers/Archive ID
BAACOA-2
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
2017-10-10

Total downloads
17 ( #33,387 of 35,795 )

Recent downloads (6 months)
5 ( #31,334 of 35,795 )

How can I increase my downloads?

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