Pages that link to "Item:Q3851084"
From MaRDI portal
The following pages link to Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084):
Displaying 19 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)
