Cut-elimination and quantification in canonical systems
From MaRDI portal
Publication:817707
DOI10.1007/s11225-006-6611-6zbMath1097.03050OpenAlexW1967406295MaRDI QIDQ817707
Publication date: 17 March 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-6611-6
Related Items
Informational semantics, non-deterministic matrices and feasible deduction ⋮ Semantics and proof-theory of depth bounded Boolean logics
Uses Software
Cites Work
This page was built for publication: Cut-elimination and quantification in canonical systems