Axiomatization of a Basic Logic of Logical Bilattices

DOI10.18778/0138-0680.45.2.02zbMath1423.03073OpenAlexW2620214076MaRDI QIDQ4591500

Mitio Takano

Publication date: 17 November 2017

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.45.2.02

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

This page was built for publication: Axiomatization of a Basic Logic of Logical Bilattices