Free-quantifier functional logics of partial quasi-ary predicates

MaRDI QIDQ2819023zbMATH OpenFDO

Authors S. S. Shkil'nyak, D. B. Volkovyts'kyĭ

Publication date 27 September 2016

Published in Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

formulalogicpredicatesuperpositionterm

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 6742170
• Systems of logical reasoning in logics of free-quantifier functional levels
• Algebras and logics of partial quasiary predicates
• Composition nominative logics of quasi-ary predicates
• Composition-nominative logics of quasi-ary predicates: semantic aspects

Cited in

(6)

• A Free Logic for Stable Models with Partial Intensional Functions
• Quasi-truth-functional systems of propositional logic
• scientific article; zbMATH DE number 1870124 (Why is no real title available?)
• Systems of logical reasoning in logics of free-quantifier functional levels
• scientific article; zbMATH DE number 6742170 (Why is no real title available?)
• Algebras and logics of partial quasiary predicates

This page was built for publication: Free-quantifier functional logics of partial quasi-ary predicates

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