The predicate method to construct the Post lattice

DOI10.1515/dma.2011.022zbMath1238.03049OpenAlexW1998557580MaRDI QIDQ2889730

Dmitriy N. Zhuk

Publication date: 8 June 2012

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.2011.022

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Classical first-order logic (03B10)

Related Items (4)

Key (critical) relations preserved by a weak near-unanimity function ⋮ On irreduceability of Boolean functions with respect to commutative associative operation ⋮ Cardinality of generating sets for operations from the Post lattice classes ⋮ Continuality of classes of functions in multivalued logic with minimal logarithmic growth rate

This page was built for publication: The predicate method to construct the Post lattice