scientific article; zbMATH DE number 16457

zbMATH Open0738.03011MaRDI QIDQ3973133

Dmitri O. Daderkin

Publication date: 26 June 1992

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

zbMATH Keywords

dynamic logictruth-table propertyloop-free programdeterministic regular programweakly split unoid

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Unary algebras (08A60)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the complexity of Boolean unification 👍 👎
• The expressive unary truth functions of \(n\)-valued logic 👍 👎
• Truth table logic, with a survey of embeddability results 👍 👎
• Unification in Boolean rings 👍 👎
• On interpreting truth tables and relevant truth table logic 👍 👎
• On the structures inside truth-table degrees 👍 👎
• Uninorms and Non-contradiction 👍 👎
• Uninorms That Are Neither Conjunctive Nor Disjunctive on Bounded Lattices 👍 👎

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 Q3973133)