Proof systems for lattice theory

DOI10.1017/S0960129504004244zbMath1049.03009OpenAlexW2137734604MaRDI QIDQ4818936

Jan von Plato, Sara Negri

Publication date: 24 September 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129504004244

zbMATH Keywords

lattice theorysequent calculusnatural deductiondecidable classessubterm property

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Structure of proofs (03F07) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Logic of approximate entailment in quasimetric spaces, The intensional side of algebraic-topological representation theorems, Combinatorial analysis of proofs in projective and affine geometry, Proof analysis in intermediate logics, In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs, A solution of the uniform word problem for ortholattices, Decision methods for linearly ordered Heyting algebras, Proof analysis in modal logic