Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Matthias Baaz Articles by Norbert Preining Articles by Richard Zach

36th International Symposium on Multiple-Valued Logic (ISMVL'06)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.16

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.