One approach to construction of effective algorithms for recognizing completeness in multivalued logics

DOI10.1007/BF01156684zbMath0615.03005OpenAlexW1986712909MaRDI QIDQ1820763

N. R. Emel'yanov

Publication date: 1986

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156684

zbMATH Keywords

algorithmstime complexityfunctional completenessk-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Unnamed Item

This page was built for publication: One approach to construction of effective algorithms for recognizing completeness in multivalued logics