Propositional compositions of partial predicates

DOI10.1007/BF02678660MaRDI QIDQ1592086zbMATH OpenOpenAlexFDO

Authors N. S. Nikitchenko

Publication date 26 July 2001

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02678660

zbMATH Keywords

complete system of identitiescompositions of partial predicatesinfinitary propositional logicsKleene algebraspartial Boolean functionspartial logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Other algebras related to logic (03G25) Boolean functions (06E30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Applicative compositions of partial predicates
• scientific article; zbMATH DE number 2169149
• Composition nominative logics of quasi-ary predicates
• scientific article; zbMATH DE number 2169314
• First-order composition-nominative logics

Cites work

• A propositional logic with 4 values: true, false, divergent and meaningless
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)

Cited in

(6)

• Applicative compositions of partial predicates
• Equitone predicate algebras and their applications
• scientific article; zbMATH DE number 1961524 (Why is no real title available?)
• scientific article; zbMATH DE number 1975397 (Why is no real title available?)
• Predicate Completion for non-Horn Clause Sets
• Algebra of multivalued equiton predicates

This page was built for publication: Propositional compositions of partial predicates

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