The Church-Fitch paradox in the light of structural proof theory

Paolo Maffezioli, A. Naibo, S. Negri

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

25 Citations (Scopus)

Handle.net

@article{95b44c56c1c64e72881a74e3a1de3257,

title = "The Church-Fitch paradox in the light of structural proof theory",

author = "Paolo Maffezioli and A. Naibo and S. Negri",

year = "2013",

language = "English",

volume = "190",

pages = "2677--2716",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer",

number = "14",

}