An Avron rule for fragments of R-mingle

Abstract

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment… (More)
DOI: 10.1093/logcom/ext031

3 Figures and Tables

Cite this paper

@article{Metcalfe2016AnAR, title={An Avron rule for fragments of R-mingle}, author={George Metcalfe}, journal={J. Log. Comput.}, year={2016}, volume={26}, pages={381-393} }