Quantified extensions of canonical propositional intermediate logics
From MaRDI portal
Publication:1207339
DOI10.1007/BF00370113zbMath0769.03012MaRDI QIDQ1207339
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
Related Items
First-order intensional logic, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Completeness results for intuitionistic and modal logic in a categorical setting
Cites Work
- Unnamed Item
- Unnamed Item
- Presheaf semantics and independence results for some non-classical first- order logics
- Semantical investigations in Heyting's intuitionistic logic
- Model theory.
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Incompleteness results in Kripke semantics