A canonical model for constant domain basic first-order logic
From MaRDI portal
Publication:2027216
DOI10.1007/S11225-020-09900-7zbMath1484.03014arXiv1907.07013OpenAlexW3008507056MaRDI QIDQ2027216
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
completenessnatural deductiondisjunction propertyBPLcanonical modelexistence propertyRestallbasic predicate calculusbasic propositional logicbasic first-order logicBQCBQLBQLCDconstant domain basic first-order logicRuitenburgsubintuitionisticVisser
Related Items (1)
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