The Story of \gamma γ

DOI10.1007/978-3-319-29300-4_6zbMATH Open1439.03056OpenAlexW2462982167MaRDI QIDQ3305422FDOQ3305422

Authors: 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)

Cites Work

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

Cited In (3)

• Cut and gamma. I: Propositional and constant domain \textbf{R}
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• A Logical Autobiography

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305422)