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

}