Normal forms and functional completeness for four-valued languages

zbMath1334.03020MaRDI QIDQ908219

Vincent Degauquier

Publication date: 3 February 2016

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1447856060

zbMATH Keywords

four-valued logicdisjunctive normal formfunctional completenessconjunctive normal form

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

Partial and paraconsistent three-valued logics

This page was built for publication: Normal forms and functional completeness for four-valued languages