Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

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

Access to Document

@article{e2dc5704e42b422e8bb1076e7d519457,

title = "Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free",

author = "Gabbay, \{Murdoch J.\}",

year = "2012",

month = sep,

doi = "10.2178/jsl/1344862164",

language = "English",

volume = "77",

pages = "828--852",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - Finite and infinite support in nominal algebra and logic

T2 - nominal completeness theorems for free

AU - Gabbay, Murdoch J.

PY - 2012/9

Y1 - 2012/9

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

U2 - 10.2178/jsl/1344862164

DO - 10.2178/jsl/1344862164

M3 - Article

SN - 0022-4812

VL - 77

SP - 828

EP - 852

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -