Decomposition Proof Systems for Gödel-Dummett Logics. Avron, A. & Konikowska, B. Studia Logica, 69(2):197–219, Nov, 2001.
bibtex   
@Article{Avron2001Beata,
		author="Avron, Arnon
				and Konikowska, Beata",
		title="Decomposition Proof Systems for {G{\"o}del-Dummett} Logics",
		journal="Studia Logica",
		year="2001",
		month="Nov",
		day="01",
		volume="69",
		number="2",
		pages="197--219",
		_bla_issn="1572-8730",
		_bla_doi="10.1023/A:1013813806341",
		_bla_url="https://doi.org/10.1023/A:1013813806341"
}

Downloads: 0