Renominative composition-nominative logics with predicates of equality

MaRDI QIDQ5254644zbMATH OpenFDO

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

Publication date 9 June 2015

zbMATH Keywords

logical consequencepredicaterenominationrenominative logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Logics of partial predicates with extended renominations and quantifiers
• Semantic properties of logics of partial predicates with extended renominations
• scientific article; zbMATH DE number 1885206
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• First-order composition-nominative logics

Cited in

(7)

• On the universality of atomic and molecular logics via protologics
• Composition nominative logics of equitone predicates
• Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality
• scientific article; zbMATH DE number 1738632 (Why is no real title available?)
• scientific article; zbMATH DE number 1885206 (Why is no real title available?)
• Logics of partial predicates with extended renominations and quantifiers
• Semantic properties of logics of partial predicates with extended renominations

This page was built for publication: Renominative composition-nominative logics with predicates of equality

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