scientific article; zbMATH DE number 883896

zbMATH Open0847.03030MaRDI QIDQ4880144FDOQ4880144

Beata Konikowska

Publication date: 8 October 1996

Title of this publication is not available (Why is that?)

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\)
• [[:Publication:5699230|Title not available (Why is that?)]]

zbMATH Keywords

representation theoremequality axiomsMcCarthy algebra

Mathematics Subject Classification ID

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

Cited In (4)

• Propositional calculus for the sequential three-valued logic (McCarthy-like systems)
• Bochvar-McCarthy logic and process algebra
• A map of dependencies among three-valued logics
• Title not available (Why is that?)

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)