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

MaRDI QIDQ2209502zbMATH OpenFDO

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

Publication date 2 November 2020

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

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

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)

Recommendations

• Algebras and logics of partial quasiary predicates
• First-order logics of quasiary predicates
• Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Sequent calculi for logics of partial and multi-valued quasi-ary predicates

Cited in

(4)

• Algebras and logics of partial quasiary predicates
• Completion of first-order clauses with equality by strict superposition
• scientific article; zbMATH DE number 3900148 (Why is no real title available?)
• scientific article; zbMATH DE number 1059316 (Why is no real title available?)

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)