A series of maximum subalgebras of direct products of algebras of finite-valued logics

DOI10.1007/BF01069983zbMath0752.03009MaRDI QIDQ4007314

Boris A. Romov

Publication date: 27 September 1992

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

direct productssubdirect productscompleteness problemalgebra of vector Boolean functionsalgebras of finite-valued logicsmaximum subalgebras

Mathematics Subject Classification ID

Boolean functions (06E30) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)

Related Items (8)

The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set ⋮ On bases of closed classes of vector functions of many-valued logic ⋮ On bases of closed classes of Boolean vector functions ⋮ Completeness theory for the product of finite partial algebras ⋮ The maximal cardinality of the base in \(P_2\times P_2 \) ⋮ The completeness problem in the function algebra of linear integer-coefficient polynomials ⋮ Homogeneous and strictly homogeneous criteria for partial structures ⋮ On some properties of vector functions of Boolean algebra

Cites Work

• [https://portal.mardi4nfdi.de/wiki/Publication:4732445 Completeness of logical functions on a square and in the system Pk�P?]
• Unnamed Item
• Unnamed Item

This page was built for publication: A series of maximum subalgebras of direct products of algebras of finite-valued logics