DocumentCode
1805670
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
fYear
2006
fDate
17-20 May 2006
Firstpage
9
Lastpage
9
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2006. ISMVL 2006. 36th International Symposium on
ISSN
0195-623X
Print_ISBN
0-7695-2532-6
Type
conf
DOI
10.1109/ISMVL.2006.16
Filename
1623961
Link To Document