A Lindström theorem for intuitionistic propositional logic

DOI10.1215/00294527-2019-0030zbMATH Open1484.03073arXiv1810.09744OpenAlexW2963199370MaRDI QIDQ2176405FDOQ2176405

Authors: Guillermo Badia, Grigory Olkhovikov 

Publication date: 4 May 2020

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

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.

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

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

zbMATH Keywords

intuitionistic logicabstract model theoryasimulationsLindström theorem

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Properties of Intuitionistic Provability and Preservativity Logics
• A Lindström theorem for intuitionistic first-order logic
• Lindenbaum and pair extension lemma in infinitary logics
• On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
• Title not available (Why is that?)
• Title not available (Why is that?)

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)