Artificial intelligence

Abstract: We study first-order composition-nominative logics of quasiary predicates. Special sequent calculi for various consequence relations in pure first-order logics of partial single-valued, total multiple-valued and partial multiplevalued predicates are constructed. For the defined calculi the soundness and completeness theorems are proved. We introduce a number ofsequent calculi for pure first-order logics of partial predicates with equality.

Keywords: logic, predicate, logical consequence, sequent calculus

References:

1. Nikitchenko M.S. Matematychna lohika ta teoria algorytmiv / M.S. Nikitchenko, S.S. Shkilniak. – К. : VPC Kyivskyi universytet, 2008. – 528 p.
2. Nikitchenko M.S. Кomposytsijno-nominatyvnі lohiky kvantorno-ekvatsijnoho rivnia / M.S. Nikitchenko, S.S. Shkilniak // Visnyk Kyiv. un-tu. Ser. kibernetyka. – 2011. – Vyp. 11. – P. 32-40.
3. Shkilniak S.S. Seqvenciyni chyslennia komposytsijno-nominatyvnyh lohik kvaziarnyh predykativ / S.S. Shkilniak // Probl. programuvannia. – 2012. – № 2-3. – P. 33-43.
4. Shkilniak S.S. Specialni seqvenciyni chyslennia lohik odnoznachnyh kvaziarnyh predykativ / S.S. Shkilniak // Visnyk Kyiv. un-tu. Ser.: phiz.-mat. nauky. – 2012. – Vyp. 3. – P. 287-292.
5. Nikitchenko M.S. Lohiky kvaziarnyh predykativ kvantorno-ekvatsijnoho rivnia / M.S. Nikitchenko, S.S. Shkilniak // Probl. programuvannia. – 2012. – № 4. – P. 19-34.
6. Smirnova E.D. Logika i filosofia / Smirnova E.D. – M.: ROSSPEN, 1996. – 304 p.
7. Shkilniak S.S. Vidnoshennia lohichnogo naslidku v komposytsijno-nominatyvnyh lohikah / S.S. Shkilniak // Probl. programuvannia. – 2010. – № 1. – P. 15-38.
8. Shkilniak S.S. Vlastyvosti vidnoshen lohichnogo naslidku v lohikah kvaziarnyh predykativ / S.S. Shkilniak // Shtucznyj іntelekt. – 2013. – № 1.
9. NikitchenkoM. Satisfability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics/ M.Nikitchenko, V.Tymofieiev // Comm. in Comp. and Inf. Science. – Springer, 2012. – V. 347. – P. 89-110.