The cylindric algebras of three-valued logic

DOI10.2307/2586647zbMath0926.03079OpenAlexW2121215239MaRDI QIDQ4254678

Norman Feldman

Publication date: 29 November 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586647

zbMATH Keywords

representabilitycompleteness theoremthree-valued logicpartial recursive functions3-cylindric algebrasthree-valued first-order predicate logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Recursive functions and relations, subrecursive hierarchies (03D20) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic

Cites Work

• Cylindric algebras. Part II
• The lattice structure of some Lukasiewicz algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: The cylindric algebras of three-valued logic