First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
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
Full Text:
PDF (Українська)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.