Pages that link to "Item:Q3851084"

The following pages link to Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084):

Displayed 20 items.

• Some metacomplete relevant modal logics (Q383574) ‎ (← links)
• From the weak to the strong existence property (Q448335) ‎ (← links)
• Admissibility and refutation: some characterisations of intermediate logics (Q481867) ‎ (← links)
• Intermediate logics and the de Jongh property (Q627438) ‎ (← links)
• Nominal techniques in Isabelle/HOL (Q928672) ‎ (← links)
• On two problems of Harvey Friedman (Q1140629) ‎ (← links)
• The disjunction property of intermediate propositional logics (Q1181482) ‎ (← links)
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373) ‎ (← links)
• Subintuitionistic logics and the implications they prove (Q1788333) ‎ (← links)
• Metacompleteness of substructural logics (Q1935554) ‎ (← links)
• Frege systems for extensible modal logics (Q2503409) ‎ (← links)
• The Story of $$\gamma $$ γ (Q3305422) ‎ (← links)
• METAVALUATIONS (Q4602434) ‎ (← links)
• Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) ‎ (← links)
• The Mathematical Work of S.C.Kleene (Q4837673) ‎ (← links)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) ‎ (← links)
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) ‎ (← links)
• A(nother) characterization of intuitionistic propositional logic (Q5957911) ‎ (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) ‎ (← links)
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) ‎ (← links)