An Avron rule for fragments of R-mingle

Metcalfe, George (2016). An Avron rule for fragments of R-mingle. Journal of logic and computation, 26(1), pp. 381-393. Oxford University Press 10.1093/logcom/ext031

Preview	Text MetAvronFinalA2012.pdf - Accepted Version Available under License Publisher holds Copyright. Download (390kB) | Preview
	Text 381.full.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (258kB) | Request a copy

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 requires an additional countably infinite set of rules. Indeed, this latter case provides an example of a three-valued logic with a finitely axiomatizable consequence relation that has no finite basis for its admissible rules.

Interest & Impact

Downloads

330 since deposited on 07 Apr 2016
34 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item