Algebraic Kripke sheaf semantics for non-classical predicate logics

DOI10.1023/A:1005207121661zbMath0948.03060OpenAlexW1589818406MaRDI QIDQ1970921

Nobu-Yuki Suzuki

Publication date: 14 November 2000

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

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

zbMATH Keywords

algebraic semanticsKripke semanticsdisjunction propertymodal predicate logicexistence propertyintermediate predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items (4)

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ First-order intensional logic ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

This page was built for publication: Algebraic Kripke sheaf semantics for non-classical predicate logics