Skip navigation
Skip navigation

The relevant equivalence property

Humberstone, Lloyd; Meyer, Robert


The pure implicational and the multiplicative fragments of a range of propositional relevant (and other) logics are shown to have the property that any two formulas equivalent in such a logic are constructed from exactly the same propositional variables - as opposed to merely having (as the definition of relevance itself would require) some propositional variable in common.

CollectionsANU Research Publications
Date published: 2007
Type: Journal article
Source: Logic Journal of the IGPL
DOI: 10.1093/jigpal/jzm005


File Description SizeFormat Image
01_Humberstone_The_relevant_equivalence_2007.pdf263.13 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator