Pages that link to "Item:Q1207344"

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)