loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
36th International Symposium on Multiple-Valued Logic (ISMVL'06)
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
Singapore
May 17-May 20
ISBN: 0-7695-2532-6
ASCII Text
x 
 
Matthias Baaz, Norbert Preining, Richard Zach, "Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta," Multiple-Valued Logic, IEEE International Symposium on, pp. 9, 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2006.16,
author = {Matthias Baaz and Norbert Preining and Richard Zach},
title = {Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2006},
issn = {0195-623X},
pages = {9},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.16},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
SN - 0195-623X
SP
EP
A1 - Matthias Baaz,
A1 - Norbert Preining,
A1 - Richard Zach,
PY - 2006
KW - null
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
Matthias Baaz, Technische Universitat Wien, Vienna, Austria
Norbert Preining, Universit`a di Siena, Italy
Richard Zach, University of Calgary
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].
Citation:
Matthias Baaz, Norbert Preining, Richard Zach, "Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta," ismvl, pp.9, 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.