Tableaux for Lattices

DOI10.1007/11784180_25MaRDI QIDQ3623943zbMATH OpenOpenAlexFDO

Authors Georg Struth

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_25

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Free lattices, projective lattices, word problems (06B25)

Recommendations

• scientific article; zbMATH DE number 2090066
• Proof systems for lattice theory
• Ordered tableaux: extensions and applications
• TABLEAUX: A general theorem prover for modal logics
• Tableaux and related methods

Cited in

(8)

• Plactic relations for \(r\)-domino tableaux
• scientific article; zbMATH DE number 2090066 (Why is no real title available?)
• scientific article; zbMATH DE number 1950265 (Why is no real title available?)
• Laver tables and combinatorics
• scientific article; zbMATH DE number 14020 (Why is no real title available?)
• scientific article; zbMATH DE number 3850303 (Why is no real title available?)
• Tableau complexes
• New Lilliefors and Srinivasan tables with applications

This page was built for publication: Tableaux for Lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623943)