Cut elimination and word problems for varieties of lattices

DOI10.1007/BF02483891MaRDI QIDQ786808zbMATH OpenOpenAlexFDO

Authors Juergen Schulte Moenting

Publication date 1981

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityvariety of lattices

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• A solution of the uniform word problem for ortholattices
• Proof systems for lattice theory
• scientific article; zbMATH DE number 1145524
• scientific article; zbMATH DE number 3910455
• On the word problem of lattices with the help of graphs

Cites work

• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Algebraische und logistische Untersuchungen über freie Verbände
• Embeddability and the Word Problem
• Free lattices
• Orthomodular Logic
• Quasideduktive Systeme und S-Algebren
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Stone lattices
• The Word Problem for Abstract Algebras
• Untersuchungen über das logische Schliessen. I

Cited in

(13)

• The geometry of non-distributive logics
• scientific article; zbMATH DE number 3910455 (Why is no real title available?)
• Proof theory for linear lattices
• Proof theory of paraconsistent quantum logic
• A solution of the uniform word problem for ortholattices
• Lattice-valued representation of the cut-elimination theorem
• Proof-theoretic analysis of subabelian lattice logic
• 1982 news about orthomodular lattices
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• The intensional side of algebraic-topological representation theorems
• Word problem for knotted residuated lattices.
• Bibliography on quantum logics and related structures

This page was built for publication: Cut elimination and word problems for varieties of lattices

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