An Avron rule for fragments of R-mingle

DOI10.1093/logcom/ext031zbMath1444.03083OpenAlexW1977631992MaRDI QIDQ2804334

George Metcalfe

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/78887/1/MetAvronFinalA2012.pdf

zbMATH Keywords

free algebrasubstructural logicadmissible rulestructural completenessR-mingle

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Almost structural completeness; an algebraic approach ⋮ Checking Admissibility Using Natural Dualities ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Sugihara algebras: admissibility algebras via the test spaces method

This page was built for publication: An Avron rule for fragments of R-mingle