Applicative compositions of partial predicates

DOI10.1023/A:1016786600489zbMath1020.03028OpenAlexW1581988789MaRDI QIDQ1407111

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)

Related Items (2)

Composition-nominative aspects of address programming ⋮ First-order logics of quasiary predicates

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