Show simple item record

dc.contributor.authorRobles, Gemma
dc.contributor.authorMéndez, José M.
dc.description.abstractLet \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.en
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;3en
dc.subjectIntermediate logicsen
dc.subjectGödel-Dummet logic LCen
dc.titleA Note on Gödel-Dummet Logic LCen
dc.contributor.authorAffiliationRobles, Gemma - University of León, Department of Psychology, Sociology and Philosophyen
dc.contributor.authorAffiliationMéndez, José M. - University of Salamancaen
dc.references[1] A. R. Anderson, N. D. Belnap Jr., Entailment. The Logic of Relevance and Necessity, vol. I, Princeton University Press, Princeton, NJ (1975).en
dc.references[2] M. Dummett, A propositional calculus with denumerable matrix, Journal of Symbolic Logic, vol. 24(2) (1959), pp. 97–106, DOI:
dc.references[3] K. Gödel, Zum intuitionistischen Aussagenkalkül, Anzeiger der Akademie der Wissenschaften in Wien, vol. 69 (1932), pp. 65–66.en
dc.references[4] D. D. Jongh, F. S. Maleki, Below Gödel-Dummett, [in:] Booklet of abstracts of Syntax meets Semantics 2019 (SYSMICS 2019), Institute of Logic, Language and Computation, University of Amsterdam (2019), pp. 99–102.en
dc.references[5] J. Moschovakis, Intuitionistic Logic, [in:] E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, winter 2018 ed. (2018), URL:
dc.references[6] G. Robles, J. M. Méndez, A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions, Logic Journal of the IGPL, vol. 23(2) (2014), pp. 174–193, DOI:
dc.references[7] J. K. Slaney, MaGIC, Matrix Generator for Implication Connectives: Version 2.1, Notes and Guide (1995),
dc.contributor.authorEmailRobles, Gemma -
dc.contributor.authorEmailMéndez, José M. -

Files in this item


This item appears in the following Collection(s)

Show simple item record
Except where otherwise noted, this item's license is described as