Two-valued and many-valued composition-nominative logics

MaRDI QIDQ4899541zbMATH OpenFDO

Authors M. S. Nikitchenko, O. S. Shkil'nyak, S. S. Shkil'nyak

Publication date 8 January 2013

zbMATH Keywords

many-valued composition-nominative logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Logic in computer science (03B70)

Recommendations

• First-order composition-nominative logics
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Sequent calculi for logics of partial and multi-valued quasi-ary predicates
• Composition nominative logics of quasi-ary predicates
• scientific article; zbMATH DE number 2169314

Cited in

(5)

• Composition nominative logics of equitone predicates
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Many-sorted first-order composition-nominative logic as institution
• First-order composition-nominative logics
• Common Logic of 2‐Valued Semigroup Connectives

This page was built for publication: Two-valued and many-valued composition-nominative logics

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