Sequent calculi for logics of partial and multi-valued quasi-ary predicates

MaRDI QIDQ2850367zbMATH OpenFDO

Authors S. S. Shkil'nyak

Publication date 26 September 2013

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

zbMATH Keywords

sequent calculuslogical consequencecomposition-nominative logicslogics of partial and multi-valued quasi-ary predicates

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Special sequent calculi for logics of single-valued quasi-ary predicates
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• scientific article; zbMATH DE number 2169149
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• First-order logics of quasiary predicates

Cited in

(12)

• Algebras and logics of partial quasiary predicates
• First-order logics of quasiary predicates
• Completeness of the first-order logic of partial quasiary predicates with the complement composition
• Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
• Two-valued and many-valued composition-nominative logics
• Systems of logical reasoning in logics of free-quantifier functional levels
• scientific article; zbMATH DE number 2169149 (Why is no real title available?)
• scientific article; zbMATH DE number 2169314 (Why is no real title available?)
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• Special sequent calculi for logics of single-valued quasi-ary predicates
• Sequent calculi of transitional composition-nominative modal logics
• Composition nominative logics of quasi-ary predicates

This page was built for publication: Sequent calculi for logics of partial and multi-valued quasi-ary predicates

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