The Story of $$\gamma $$ γ

DOI10.1007/978-3-319-29300-4_6zbMath1439.03056OpenAlexW2462982167MaRDI QIDQ3305422

Alasdair Urquhart

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_6

zbMATH Keywords

relational semanticsalgebraic semanticsrelevance logicmetavaluationadmissibility of \(\gamma \)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ A Logical Autobiography

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of relevant quantification theories
• On disjunctions and existential statements in intuitionistic systems of logic
• Handbook of philosophical logic. Vol. 6
• Duality for algebras of relevant logics
• Metacompleteness
• Begründung einer strengen Implikation
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Bounds for proof-search and speed-up in the predicate calculus
• E, R AND γ
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: The Story of $$\gamma $$ γ