A Lindström Theorem for Intuitionistic Propositional Logic

Guillermo Badia; Grigory Olkhovikov

doi:10.1215/00294527-2019-0030

Abstract

We show that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property (TUP), and preservation under asimulations.

Citation

Download Citation

Guillermo Badia. Grigory Olkhovikov. "A Lindström Theorem for Intuitionistic Propositional Logic." Notre Dame J. Formal Logic 61 (1) 11 - 30, January 2020. https://doi.org/10.1215/00294527-2019-0030

Information

Received: 17 February 2017; Accepted: 22 October 2018; Published: January 2020

First available in Project Euclid: 29 November 2019

zbMATH: 07196090

MathSciNet: MR4054243

Digital Object Identifier: 10.1215/00294527-2019-0030

Subjects:

Primary: 03C95

Secondary: 03B55

Keywords: abstract model theory , asimulations , Intuitionistic logic , Lindström theorem

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS