Lattice-valued representation of the cut-elimination theorem
From MaRDI portal
Publication:1192582
DOI10.21099/tkbjm/1496161672zbMath0758.03026MaRDI QIDQ1192582
Publication date: 27 September 1992
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1496161672
03G10: Logical aspects of lattices and related structures
03F05: Cut-elimination and normal-form theorems
Related Items
Cut-Elimination for SBL, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Cut elimination and strong separation for substructural logics: an algebraic approach, Hyper-MacNeille completions of Heyting algebras, First-order automated reasoning with theories: when deduction modulo theory meets practice, Beyond Rasiowa's algebraic approach to non-classical logics