Year: 2019
Type: article
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.
Authors: Guillermo Badia, Grigory Olkhovikov
Institution: Ruhr University Bochum
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2897323892