Composition nominative logics of equitone predicates

MaRDI QIDQ2737328zbMATH OpenFDO

Authors N. S. Nikitchenko, S. S. Shkil'nyak

Publication date 11 September 2001

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

zbMATH Keywords

composition nominative logicscomposition systempartial predicates

Mathematics Subject Classification ID

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

Recommendations

• Renominative composition-nominative logics with predicates of equality
• scientific article; zbMATH DE number 2169314
• Composition nominative logics of quasi-ary predicates
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Composition nominative first order logics
• First-order composition-nominative logics
• Satisfiability in composition-nominative logics
• On the soundness and completeness of equational predicate logics
• Composition-nominative logics as institutions
• Two-valued and many-valued composition-nominative logics

Cited in

(6)

• Equitone predicate algebras and their applications
• Pure composition nominative calculi
• Composition nominative first order logics
• Semantic aspects of transitional composition-nominative modal logics
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Nominal equational logic

This page was built for publication: Composition nominative logics of equitone predicates

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