The relevant equivalence property

Lloyd Humberstone; Robert K. Meyer

doi:10.1093/jigpal/jzm005

The relevant equivalence property

Lloyd Humberstone^*
, Robert K. Meyer

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

3 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 language	English
Pages (from-to)	165-181
Number of pages	17
Journal	Logic Journal of the IGPL
Volume	15
Issue number	2
DOIs	https://doi.org/10.1093/jigpal/jzm005
Publication status	Published - Mar 2007

Access to Document

10.1093/jigpal/jzm005

Cite this

@article{8c494c073b644ceabfec70d0e237a1d8,

title = "The relevant equivalence property",

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.",

keywords = "Implicational logics, Relevance, Substructural logics",

author = "Lloyd Humberstone and Meyer, \{Robert K.\}",

year = "2007",

month = mar,

doi = "10.1093/jigpal/jzm005",

language = "English",

volume = "15",

pages = "165--181",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press ",

number = "2",

}

TY - JOUR

T1 - The relevant equivalence property

AU - Humberstone, Lloyd

AU - Meyer, Robert K.

PY - 2007/3

Y1 - 2007/3

N2 - 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.

AB - 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.

KW - Implicational logics

KW - Relevance

KW - Substructural logics

UR - https://www.scopus.com/pages/publications/34447514294

U2 - 10.1093/jigpal/jzm005

DO - 10.1093/jigpal/jzm005

M3 - Article

SN - 1367-0751

VL - 15

SP - 165

EP - 181

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 2

ER -

The relevant equivalence property

Abstract

Access to Document

Other files and links

Fingerprint

Cite this