Translator Disclaimer
January 2020 A Lindström Theorem for Intuitionistic Propositional Logic
Guillermo Badia, Grigory Olkhovikov
Notre Dame J. Formal Logic 61(1): 11-30 (January 2020). 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

Rights: Copyright © 2020 University of Notre Dame

JOURNAL ARTICLE
20 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.61 • No. 1 • January 2020
Back to Top