Completeness of the logic of partial quasiary predicates with the complement composition

MaRDI QIDQ6976563zbMATH OpenFDO

Authors M. S. Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov

Publication date 2 June 2025

zbMATH Keywords

completenesspredicate logicsoundnessprogram logicpartial predicatequasiary predicate

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70)

This page was built for publication: Completeness of the logic of partial quasiary predicates with the complement composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976563)