Pages that link to "Item:Q5518354"

The following pages link to On logics intermediate between intuitionistic and classical predicate logic (Q5518354):

Displaying 17 items.

• A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
• Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
• A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
• On some intuitionistic modal logics (Q1244216) (← links)
• A study of intermediate predicate logics (Q1843560) (← links)
• Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
• Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
• Classifying material implications over minimal logic (Q2204373) (← links)
• Henkin’s Completeness Proof and Glivenko’s Theorem (Q3454815) (← links)
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614) (← links)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
• Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)
• A Lemma which Distinguishes Minimal Logics from Other Logics (Q5546771) (← links)
• On some properties of intermediate logics (Q5720188) (← links)
• An Axiomatic Theory of Ordinal Numbers (Q5730900) (← links)