A Lindström theorem for intuitionistic propositional logic

DOI10.1215/00294527-2019-0030zbMath1484.03073arXiv1810.09744OpenAlexW2963199370MaRDI QIDQ2176405

Guillermo Badia, Grigory K. Olkhovikov

Publication date: 4 May 2020

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.09744

zbMATH Keywords

intuitionistic logicabstract model theoryLindström theoremasimulations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract model theory (03C95)

Related Items (1)

A Lindström theorem for intuitionistic first-order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• A new modal Lindström theorem
• Contra-continuous functions and strongly \(S\)-closed spaces
• On generalized van Benthem-type characterizations
• A general Lindström theorem for some normal modal logics
• Model-theoretic characterization of intuitionistic predicate formulas
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• Simulating without Negation
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• On Extensions of Elementary Logic
• A proof of the compactness theorem for arithmetical classes

This page was built for publication: A Lindström theorem for intuitionistic propositional logic