The Story of \gamma γ
From MaRDI portal
Publication:3305422
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
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)
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)