Pure first-order logics of quasiary predicates

M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak

Abstract


Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and logical consequence relations for sets of formulas. For the defined relations a number of sequent type calculi is constructed; their characteristic features are extended conditions for sequent closure and original forms for quantifier elimination.

Problems in programming 2016; 2-3: 73-86


Keywords


logic; predicate; semantics; logical consequence; sequent calculus

Full Text:

PDF (Ukrainian)

References


ABRAMSKY, S., GABBAY, D. and MAIBAUM, T. (editors). (1993–2000). Handbook of Logic in Computer Science Modal logic. Oxford University Press.

NIKITCHENKO, M. and SHKILNIAK, S. (2008). Mathematical logic and theory of algorithms. Кyiv: VPC Кyivskyi Universytet (in ukr).

NIKITCHENKO, M. and SHKILNIAK, S. (2013). Applied logic. Кyiv: VPC Кyivskyi Universytet (in ukr).

NIKITCHENKO, M. and SHKILNIAK, S. (2012). Composition-nominative logics of quasiary predicates: semantic aspects. In Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics & Mathematics. No 4. P. 165–172 (in ukr).

NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2014). First-order composi tion-nominative logics with generalized renominations. In Problems in Progamming. № 2–3, p. 17–28 (in ukr).

NIKITCHENKO, M. and SHKILNIAK, S. (2015). Semantic Properties of Logics of Quasiary Predicates. In Workshop on Foundations of Informatics: Proceedings FOI-2015. Chisinau, Moldova. P. 180–197.

NIKITCHENKO, M. and SHKILNIAK, S. (2016). Algebras of quasiary and of bi-quasiary relations. In Problems in Progamming. № 1, p. 3–12 (in ukr).

SHKILNIAK, S. (2013). Spectrum of sequent calculi of first-order composition-nominative logics. In Problems in Progamming. № 3, p. 22–37 (in ukr).

SHKILNIAK, S. (2013). Sequent systems of logical deduction for pure first-order logics of partial predicates. In Computer mathematics. 2, p. 88–96 (in ukr).

SHKILNIAK, O. (2016). Logical consequence relations in logics of quasiary predicates. In Problems in Progamming. № 1, p. 13–25 (in ukr).

SMIRNOVA, E. (1996). Logic and Philosophie. Moskow: ROSSPEN (in rus).


Refbacks

  • There are currently no refbacks.