Composition-nominative logics of quasi-ary predicates: semantic aspects

MaRDI QIDQ2850352zbMATH OpenFDO

Authors M. S. Nikitchenko, 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

semanticslogical consequencepartial predicatecomposition-nominative logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 2169314
• Composition nominative logics of quasi-ary predicates
• Composition nominative logics of equitone predicates
• Composition nominative first order logics
• Satisfiability in composition-nominative logics
• A compositional semantics for logic programs
• Semantic aspects of transitional composition-nominative modal logics
• Algebras and logics of partial quasiary predicates
• First-order composition-nominative logics
• scientific article; zbMATH DE number 2062214

Cited in

(19)

• Logics of partial predicates with extended renominations and quantifiers
• First-order logics of quasiary predicates
• Nominalization and Scott's domains. II
• Three theories of nominalized predicates
• Completeness of the first-order logic of partial quasiary predicates with the complement composition
• \(V\)-singular semantic models of first-order logics
• Free-quantifier functional logics of partial quasi-ary predicates
• Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
• Sequent calculi for logics of partial and multi-valued quasi-ary predicates
• Semantic properties of logics of partial predicates with extended renominations
• Two-valued and many-valued composition-nominative logics
• scientific article; zbMATH DE number 3928367 (Why is no real title available?)
• First-order composition-nominative logics
• scientific article; zbMATH DE number 2169314 (Why is no real title available?)
• Special sequent calculi for logics of single-valued quasi-ary predicates
• Composition nominative first order logics
• Composition nominative logics of equitone predicates
• Composition nominative logics of quasi-ary predicates
• Renominative composition-nominative logics with predicates of equality

This page was built for publication: Composition-nominative logics of quasi-ary predicates: semantic aspects

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