A predicate logical extension of a subintuitionistic propositional logic

DOI10.1023/A:1021897508223zbMath1016.03007OpenAlexW1570848118MaRDI QIDQ1868252

Ernst Zimmermann

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021897508223

zbMATH Keywords

propositional logicKripke semanticspredicate logicstrong completenesssubintuitionistic logicHilbert-type calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Predicate logical extensions of some subintuitionistic logics

This page was built for publication: A predicate logical extension of a subintuitionistic propositional logic