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):
Displaying 19 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)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← 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)
- Quasilinear Posets and some Subsystems Of Dummett's LC (Q3030796) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- (Q3466593) (← links)
- A Cut‐Free Calculus For Dummett's LC Quantified (Q4206723) (← 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)
- (Q5424684) (← links)
- Comments on some completeness theorems of Urquhart and Méndez \& Salto (Q5935786) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)