scientific article
From MaRDI portal
zbMath1334.03007MaRDI QIDQ3467531
No author found.
Publication date: 2 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic, Higher-Order Modal Logics: Automation and Applications, Proof search and certificates for evidential transactions
