A Lindström theorem for intuitionistic propositional logic

DOI10.1215/00294527-2019-0030MaRDI QIDQ2176405zbMATHOpenAlexFDO

Authors Guillermo Badia, Grigory 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 theoryasimulationsLindström theorem

Mathematics Subject Classification ID

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

Abstract: It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compactness, the Tarski union property and preservation under asimulations.

Recommendations

• Metalogic of intuitionistic propositional calculus
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• scientific article; zbMATH DE number 1303434
• Model-theoretic characterization of intuitionistic propositional formulas

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 5872415 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 3532912 (Why is no real title available?)
• scientific article; zbMATH DE number 1163936 (Why is no real title available?)
• scientific article; zbMATH DE number 2196607 (Why is no real title available?)
• A general Lindström theorem for some normal modal logics
• A new modal Lindström theorem
• A proof of the compactness theorem for arithmetical classes
• Axioms for abstract model theory
• Contra-continuous functions and strongly \(S\)-closed spaces
• Modal logic
• Model-theoretic characterization of intuitionistic predicate formulas
• Model-theoretic characterization of intuitionistic propositional formulas
• On Extensions of Elementary Logic
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• On generalized van Benthem-type characterizations
• Simulating without Negation
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Cited in

(7)

• scientific article; zbMATH DE number 1341468 (Why is no real title available?)
• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• A Lindström theorem for intuitionistic first-order logic
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
• Lindenbaum and pair extension lemma in infinitary logics
• Properties of Intuitionistic Provability and Preservativity Logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176405)