Authors
Guillermo Badia
University of Queensland
Abstract
We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.
Keywords abstract model theory   asimulations   intuitionistic logic  Lindström theorem
Categories (categorize this paper)
DOI 10.1215/00294527-2019-0030
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,703
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Axioms for Abstract Model Theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
A New Modal Lindström Theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
A New Modal Lindström Theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.

Analytics

Added to PP index
2018-11-11

Total views
9 ( #933,424 of 2,462,555 )

Recent downloads (6 months)
4 ( #178,986 of 2,462,555 )

How can I increase my downloads?

Downloads

My notes