A Deterministic Terminating Sequent Calculus for Gödel-Dummett Logic

Roy Dyckhoff

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

Cite this

@article{7758b5135b684932a7aa39ecb459ed19,

title = "A Deterministic Terminating Sequent Calculus for G{\"o}del-Dummett Logic",

author = "Roy Dyckhoff",

note = "Print ISSN: 1367-0751 Online ISSN: 1368-9894",

year = "1999",

language = "English",

volume = "7",

pages = "319--326",

journal = "Logic Journal of the IGPL",

publisher = "Oxford University Press",

}