scientific article; zbMATH DE number 1471987

MaRDI QIDQ4489071zbMATH OpenFDO

Authors Tadao Ishii

Publication date 22 March 2001

zbMATH Keywords

algebraic semanticsequationally definable principal congruencesformalization of modal logic Kontologypropositional calculus with identity

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Possible PCF algebras
• scientific article; zbMATH DE number 4193754
• PC-lattices: a class of bounded BCK-algebras
• scientific article; zbMATH DE number 4059470
• scientific article; zbMATH DE number 3959425
• scientific article; zbMATH DE number 5972201
• Some results on E-p-algebras
• A note on pseudo-Kleene algebras
• scientific article; zbMATH DE number 1107755

Cited in

(1)

• Natural examples of quasivarieties with EDPM

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 Q4489071)