scientific article; zbMATH DE number 1145524

MaRDI QIDQ4384760zbMATH OpenFDO

Authors I. Negru

Publication date 5 January 1999

zbMATH Keywords

algorithmfinitely generated logicslattice of propositional logicsword problem

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Word problems, etc. in computability and recursion theory (03D40) Representation theory of lattices (06B15)

Recommendations

• The word and generator problems for lattices
• On the word problem of lattices with the help of graphs
• Logics of variable inclusion and the lattice of consequence relations
• A solution of the uniform word problem for ortholattices

Cited in

(13)

• Permutability of rules in lattice theory.
• scientific article; zbMATH DE number 5872048 (Why is no real title available?)
• scientific article; zbMATH DE number 4210204 (Why is no real title available?)
• scientific article; zbMATH DE number 5163096 (Why is no real title available?)
• scientific article; zbMATH DE number 640717 (Why is no real title available?)
• scientific article; zbMATH DE number 679715 (Why is no real title available?)
• Logics of variable inclusion and the lattice of consequence relations
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• scientific article; zbMATH DE number 5214898 (Why is no real title available?)
• Finite axiomatizability of logics of distributive lattices with negation
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• Cut elimination and word problems for varieties of lattices
• Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

This page was built for publication:

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