Ordered sets R and Q as bases of Kripke models
From MaRDI portal
Publication:1109762
DOI10.1007/BF00370376zbMath0656.03018MaRDI QIDQ1109762
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
Kripke modelsaxiomatizationsconstant domain intermediate logicsordered set of rational numbersordered set of real numbers
Related Items (7)
Intermediate predicate logics determined by ordinals ⋮ One-variable fragments of intermediate logics over linear frames ⋮ On duality and model theory for polyadic spaces ⋮ Deciding logics of linear Kripke frames with scattered end pieces ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ On the predicate logic of linear Kripke frames and some of its extensions
Cites Work
- Completeness theorems for some intermediate predicate calculi
- A study of intermediate predicate logics
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- On logics intermediate between intuitionistic and classical predicate logic
- Logic with truth values in A linearly ordered heyting algebra
- Unnamed Item
- Unnamed Item
This page was built for publication: Ordered sets R and Q as bases of Kripke models
