A canonical model for constant domain basic first-order logic

DOI10.1007/S11225-020-09900-7zbMath1484.03014arXiv1907.07013OpenAlexW3008507056MaRDI QIDQ2027216

Ben Middleton

Publication date: 25 May 2021

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

Full work available at URL: https://arxiv.org/abs/1907.07013

zbMATH Keywords

completenessnatural deductiondisjunction propertyBPLcanonical modelexistence propertyRestallbasic predicate calculusbasic propositional logicbasic first-order logicBQCBQLBQLCDconstant domain basic first-order logicRuitenburgsubintuitionisticVisser

Mathematics Subject Classification ID

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

Related Items (1)

BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH

Cites Work

• Quantification in nonclassical logic. Volume I.
• A propositional logic with explicit fixed points
• Subintuitionistic logics
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Handbook of philosophical logic. Vol. 6
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• Basic predicate calculus

This page was built for publication: A canonical model for constant domain basic first-order logic