Propositional compositions of partial predicates

DOI10.1007/BF02678660zbMath0965.03039OpenAlexW2065044121MaRDI QIDQ1592086

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

partial logicsKleene algebrasinfinitary propositional logicspartial Boolean functionscomplete system of identitiescompositions of partial predicates

Mathematics Subject Classification ID

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

Cites Work

• A propositional logic with 4 values: true, false, divergent and meaningless
• Unnamed Item
• Unnamed Item