Finite limitations on Dummett's LC
From MaRDI portal
Publication:2395196
DOI10.1305/ndjfl/1093957235zbMath0131.24510OpenAlexW1976353083MaRDI QIDQ2395196
Publication date: 1962
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957235
Related Items (11)
Infinitary Equilibrium Logic and Strong Equivalence ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ An algebraic approach to intuitionistic connectives ⋮ A semantic hierarchy for intuitionistic logic ⋮ The cardinality of parametric bases in chain logics ⋮ \(I_ n\)-symmetrical Heyting algebras ⋮ Proof of structural completeness of a certain class of implicative propositional calculi ⋮ Structural completeness of Gödel's and Dummett's propositional calculi ⋮ Free spectra of linear equivalential algebras ⋮ A family of genuine and non-algebraisable C-systems
This page was built for publication: Finite limitations on Dummett's LC
