scientific article; zbMATH DE number 7317231

zbMath1456.03022arXiv1101.5445MaRDI QIDQ4964699

Luís Pinto, Tarmo Uustalu

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1101.5445

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

A comparison between monoidal and substructural logics ⋮ Natural deduction for bi-intuitionistic logic ⋮ Monoidal logics: completeness and classical systems ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ On the Blok-Esakia Theorem

This page was built for publication: