Pages that link to "Item:Q1843560"

The following pages link to A study of intermediate predicate logics (Q1843560):

Displaying 18 items.

• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
• Taking degrees of truth seriously (Q1015492) (← links)
• Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
• Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
• On some intuitionistic modal logics (Q1244216) (← links)
• Logics without Craig's interpolation property (Q1254250) (← links)
• A new semantics for intuitionistic predicate logic (Q1820768) (← links)
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
• Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
• On maximal intermediate predicate constructive logics (Q2563458) (← links)
• Intermediate predicate logics determined by ordinals (Q3970346) (← links)
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614) (← links)
• Counting the maximal intermediate constructive logics (Q4283073) (← links)
• On a semantics for non-classical logics (Q4401439) (← links)
• On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)