Ordered sets R and Q as bases of Kripke models

DOI10.1007/BF00370376zbMATH Open0656.03018MaRDI QIDQ1109762FDOQ1109762

Mitio Takano

Publication date: 1987

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

zbMATH Keywords

Kripke modelsaxiomatizationsconstant domain intermediate logicsordered set of rational numbersordered set of real numbers

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• On logics intermediate between intuitionistic and classical predicate logic
• A study of intermediate predicate logics
• Logic with truth values in A linearly ordered heyting algebra
• Completeness theorems for some intermediate predicate calculi

Cited In (7)

• Completeness theorem for Dummett's LC quantified and some of its extensions
• Intermediate predicate logics determined by ordinals
• 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
• On the predicate logic of linear Kripke frames and some of its extensions
• One-variable fragments of intermediate logics over linear frames

This page was built for publication: Ordered sets R and Q as bases of Kripke models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109762)