Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 165-181 |
Number of pages | 17 |
Journal | Logic Journal of the IGPL |
Volume | 15 |
Issue number | 2 |
DOIs | |
Publication status | Published - Mar 2007 |