scientific article; zbMATH DE number 883896

MaRDI QIDQ4880144zbMATH OpenFDO

Authors Beata Konikowska

Publication date 8 October 1996

zbMATH Keywords

equality axiomsMcCarthy algebrarepresentation theorem

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• Propositional calculus for the sequential three-valued logic (McCarthy-like systems)
• On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}
• Bochvar-McCarthy logic and process algebra
• The algebraic system of MP^M
• scientific article; zbMATH DE number 2217307

Cited in

(6)

• Propositional calculus for the sequential three-valued logic (McCarthy-like systems)
• scientific article; zbMATH DE number 1414371 (Why is no real title available?)
• A map of dependencies among three-valued logics
• The algebraic system of MP^M
• Bochvar-McCarthy logic and process algebra
• On the structure and theory of McCarthy algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4880144)