A simple sequent calculus for nominal logic
From MaRDI portal
Publication:5739979
DOI10.1093/logcom/exu024zbMath1403.03049arXiv1312.4840OpenAlexW2108049042MaRDI QIDQ5739979
Publication date: 7 July 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1312.4840
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: A simple sequent calculus for nominal logic
