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

zbMATH Open1446.03066MaRDI QIDQ2209502FDOQ2209502

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)

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

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

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)