The relevant equivalence property

Lloyd Humberstone*, Robert K. Meyer

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)

    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 languageEnglish
    Pages (from-to)165-181
    Number of pages17
    JournalLogic Journal of the IGPL
    Volume15
    Issue number2
    DOIs
    Publication statusPublished - Mar 2007

    Fingerprint

    Dive into the research topics of 'The relevant equivalence property'. Together they form a unique fingerprint.

    Cite this