Applicative compositions of partial predicates

DOI10.1023/A:1016786600489MaRDI QIDQ1407111zbMATH OpenOpenAlexFDO

Authors N. S. Nikitchenko

Publication date 9 September 2003

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

Full work available at URL https://doi.org/10.1023/a:1016786600489

zbMATH Keywords

complete equational systemcomposition of predicateslogic of partial predicatesmodus ponens rulepartial predicatespecial Kleene algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Other infinitary logic (03C75)

Recommendations

• Propositional compositions of partial predicates
• scientific article; zbMATH DE number 2169149
• Composition nominative logics of quasi-ary predicates
• scientific article; zbMATH DE number 2169314
• scientific article; zbMATH DE number 1961524

Cited in

(7)

• Composition-nominative aspects of address programming
• Propositional compositions of partial predicates
• Equitone predicate algebras and their applications
• An algebraic study of exactness in partial contexts
• scientific article; zbMATH DE number 1975397 (Why is no real title available?)
• First-order logics of quasiary predicates
• scientific article; zbMATH DE number 1961524 (Why is no real title available?)

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

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