Title :
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
Author :
Baaz, Matthias ; Preining, Norbert ; Zach, Richard
Author_Institution :
Technische Universitat Wien, Vienna, Austria
Abstract :
All first-order G¨odel logics GV with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel ofV are axiomatized by Ciabattoni’s hypersequent calculus HGIF [10].
Keywords :
Calculus; Councils; Fuzzy logic; Fuzzy sets; Globalization; Kernel; Linearity; Logic functions; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 2006. ISMVL 2006. 36th International Symposium on
Print_ISBN :
0-7695-2532-6
DOI :
10.1109/ISMVL.2006.16
