Logics of local equitone predicates: semantic properties and sequential calculuses

M.S. Nikitchenko, S.S. Shkilniak

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.

Full Text:

PDF (Ukrainian)

Refbacks

  • There are currently no refbacks.