Pages that link to "Item:Q1207344"
From MaRDI portal
The following pages link to Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344):
Displayed 13 items.
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)