Finite frames fail: how infinity works its way into the semantics of admissibility

DOI10.1007/S11225-016-9672-1zbMath1417.03199DBLPjournals/sLogica/Goudsmit16OpenAlexW2369255878WikidataQ59462557 ScholiaQ59462557MaRDI QIDQ514509

Jeroen P. Goudsmit

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9672-1

zbMATH Keywords

finite model propertyadmissible rulesintermediate logicsprojective Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22) Intermediate logics (03B55)

Related Items (1)

DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissibility and refutation: some characterisations of intermediate logics
• Intermediate logics and Visser's rules
• Unification, finite duality and projectivity in varieties of Heyting algebras
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Equational axioms for classes of Heyting algebras
• Derivability of admissible rules
• The finite model property with respect to admissibility for superintuitionistic logic
• On the admissible rules of intuitionistic propositional logic
• One hundred and two problems in mathematical logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Unification in intuitionistic logic
• On Finite Model Property for Admissible Rules
• Injective and Projective Heyting Algebras

This page was built for publication: Finite frames fail: how infinity works its way into the semantics of admissibility