First-order composition-nominative logics

MaRDI QIDQ2897499zbMATH OpenFDO

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

Publication date 16 July 2012

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

zbMATH Keywords

semanticslogical consequencecomposition-nominative logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Composition nominative first order logics
• Two-valued and many-valued composition-nominative logics
• First-order logics of quasiary predicates
• Logics of partial predicates with extended renominations and quantifiers

Cited in

(23)

• Propositional compositions of partial predicates
• \(V\)-singular semantic models of first-order logics
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• Composition nominative logics of equitone predicates
• Pure composition nominative calculi
• Composition nominative first order calculi
• scientific article; zbMATH DE number 2169314 (Why is no real title available?)
• Satisfiability problem in propositional and renominative composition-nominative logic
• The theory of form logic
• Logics of partial predicates with extended renominations and quantifiers
• Many-sorted first-order composition-nominative logic as institution
• Composition-nominative logics as institutions
• scientific article; zbMATH DE number 1738632 (Why is no real title available?)
• Composition nominative logics of quasi-ary predicates
• Two-valued and many-valued composition-nominative logics
• First-order logics of quasiary predicates
• Satisfiability in composition-nominative logics
• Semantic properties of logics of partial predicates with extended renominations
• Composition nominative first order logics
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality
• Semantic aspects of transitional composition-nominative modal logics
• Renominative composition-nominative logics with predicates of equality

This page was built for publication: First-order composition-nominative logics

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