Focusing Gentzen's LK proof system. Liang, C. & Miller, D. In Peter Schroeder-Heister on Proof-Theoretic Semantics, of Outstanding Contributions to Logic. Springer, 2021. bibtex @incollection{liang21unp,
author = {Chuck Liang and Dale Miller},
title = {Focusing {Gentzen's} {LK} proof system},
booktitle = {Peter Schroeder-Heister on Proof-Theoretic
Semantics},
editors = {Thomas Piecha and Kai Wehmeier},
series = {Outstanding Contributions to Logic},
publisher = {Springer},
year = {2021}
}
Downloads: 0
{"_id":"5eZyLmdqpc8JRkoBh","bibbaseid":"liang-miller-focusinggentzenslkproofsystem-2021","author_short":["Liang, C.","Miller, D."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Chuck"],"propositions":[],"lastnames":["Liang"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Focusing Gentzen's LK proof system","booktitle":"Peter Schroeder-Heister on Proof-Theoretic Semantics","editors":"Thomas Piecha and Kai Wehmeier","series":"Outstanding Contributions to Logic","publisher":"Springer","year":"2021","bibtex":"@incollection{liang21unp,\n author = {Chuck Liang and Dale Miller},\n title = {Focusing {Gentzen's} {LK} proof system},\n booktitle = {Peter Schroeder-Heister on Proof-Theoretic\n Semantics},\n editors = {Thomas Piecha and Kai Wehmeier},\n series = {Outstanding Contributions to Logic},\n publisher = {Springer},\n year = {2021}\n}\n\n","author_short":["Liang, C.","Miller, D."],"key":"liang21unp","id":"liang21unp","bibbaseid":"liang-miller-focusinggentzenslkproofsystem-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["focusing","gentzen","proof","system","liang","miller"],"title":"Focusing Gentzen's LK proof system","year":2021}