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). CrossRef

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). CrossRef

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). CrossRef

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. CrossRef

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). CrossRef




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

Refbacks

  • There are currently no refbacks.