Completeness theorem for the logic characterized by distributive bilattices

zbMATH Open0985.03062MaRDI QIDQ2721572

Michiro Kondo

Publication date: 30 January 2002

Published in: Far East Journal of Mathematical Sciences (Search for Journal in Brave)

zbMATH Keywords

axiom systemcompleteness theoremdistributive bilatticeslogic DBL

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Logic programming (68N17) Distributive lattices (06D99)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Completeness theorem for the logic characterized by distributive bilattices

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