Pages that link to "Item:Q767454"

The following pages link to On disjunctions and existential statements in intuitionistic systems of logic (Q767454):

Displaying 12 items.

• A short note on divisible residuated semilattices (Q780241) (← links)
• Gentzen formulations of two positive relevance logics (Q1158143) (← links)
• The disjunction property of intermediate propositional logics (Q1181482) (← links)
• On the finite model property of weak intuitionistic tense logic (Q2148830) (← links)
• Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems (Q3278334) (← links)
• The Story of $$\gamma $$ γ (Q3305422) (← links)
• (Q3384899) (← links)
• Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
• METAVALUATIONS (Q4602434) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• The Context of Inference (Q5208107) (← links)
• Some structure results for propositional calculi (Q5582301) (← links)