First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

О.S. Shkilniak, S.S. Shkilniak

Abstract


The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renomi- nations and predicates of strong equality and of weak equality.

Prombles in programming 2022; 3-4: 11-22



Keywords


logic; partial predicate; equality; logical consequence; sequent calculus; soundness; completeness

References


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

GALLIER, J. (2015) Logic for computer science: foundations of automatic theorem proving. Second edition. Dover. New York.

KLEENE, S. (1967) Mathematical Logic. New York.

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

NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2016). Pure first-order logics of quasiary predicates. Problems in Progamming.

No 2–3. P. 73–86 (in ukr).

NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2014). First-order composition-nominative logics with generalized renominations. Problems in Progamming. No 2–3. P. 17–28 (in ukr).

NIKITCHENKO, M. and SHKILNIAK, S. (2017). Pure first-order quasiary logics with equality predicates. Problems in Progamming. No 2. P. 17–28 (in ukr).

SHKILNIAK, S. (2019). First-order composition-nominative logics with predicates of weak equality and of strong equality. Problems in Progamming. No 3. P. 3–23 (in ukr).

NIKITCHENKO, M., SHKILNIAK, O., SHKILNIAK, S. and MAMEDOV, T. (2019). Renominative logics with extended renomination, equality and predicate complement. Artificial Intelligtnce. No 1–2. P. 34–48 (in ukr).

NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2020). Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. ICTERI 2019. Kherson, Ukraine. Communications in Computer and Information Science. 1175 CCIS. Р. 68-88.

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

NIKITCHENKO, M., SHKILNIAK, O. and SHKILNIAK, S. (2020). Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement. Problems in Progamming. No 2–3. P. 182–197 (in ukr).




DOI: https://doi.org/10.15407/pp2022.03-04.011

Refbacks

  • There are currently no refbacks.