Skip navigation
Skip navigation

The relevant equivalence property

Humberstone, Lloyd; Meyer, Robert

Description

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
URI: http://hdl.handle.net/1885/32095
Source: Logic Journal of the IGPL
DOI: 10.1093/jigpal/jzm005

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator