scientific article; zbMATH DE number 7317240
From MaRDI portal
Publication:4964705
zbMath1469.03156arXiv1102.2655MaRDI QIDQ4964705
Maribel Fernández, Ian Mackie, Sandra Alves
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1102.2655
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (2)
The Role of Structural Reasoning in the Genesis of Graph Theory ⋮ Sequent Calculus for Euler Diagrams
This page was built for publication:
