scientific article; zbMATH DE number 3600010
From MaRDI portal
Publication:4166739
zbMath0386.03009MaRDI QIDQ4166739
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50) Algorithms in computer science (68W99) Thue and Post systems, etc. (03D03) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items (5)
Semi-Post algebras ⋮ Algorithmic logic. Multiple-valued extensions ⋮ Post Algebras in the Work of Helena Rasiowa ⋮ Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability ⋮ Unnamed Item
This page was built for publication:
