Logics of local equitone predicates: semantic properties and sequential calculuses

Abstract

Composition nominative logics of local equitone predicates are proposed. Such logics preserve the main deductive properties of classical logic, but have more rich class of models. Semantic properties and consequence relation for sets of formulas of such logics are studied and сorresponding sequential calculuses are constructed. The soundness and completeness theorems are proved on this base.