The relevant equivalence property
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.
|Collections||ANU Research Publications|
|Source:||Logic Journal of the IGPL|
|01_Humberstone_The_relevant_equivalence_2007.pdf||263.13 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.