Completeness of the first-order logic of partial quasiary predicates with the complement composition

zbMATH Open1446.03066MaRDI QIDQ2209502FDOQ2209502

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

Publication date: 2 November 2020

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v27-n2/12972/

zbMATH Keywords

completenesspredicate logicsoundnessprogram logicpartial predicatequasiary predicate

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Completion of first-order clauses with equality by strict superposition

This page was built for publication: Completeness of the first-order 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 Q2209502)