Applicative Compositions of Partial Predicates

Authors:
N. S. Nikitchenko
Affiliations:
Taras Shevchenko University, Kiev, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2001

Citing 3
Cited 2

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
Theory of recursive functions and effective computability

Theory of recursive functions and effective computability
Applicative Compositions of Partial Predicates

Cybernetics and Systems Analysis

Applicative Compositions of Partial Predicates

Cybernetics and Systems Analysis
First-order logics of quasiary predicates

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Compositions of partial predicates of the lowest abstraction level, which forms the basis of infinitary predicate logics, are defined and investigated. Complete descriptions of such compositions in terms of special Kleene algebras are given, and complete equational systems for such compositions are constructed. The necessary and sufficient conditions of correctness of the modus ponens rule in logics of partial predicates are defined.