Composition nominative first order logics

MaRDI QIDQ2745194zbMATH OpenFDO

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

Publication date 9 October 2001

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

zbMATH Keywords

composition nominative first order logicspartial functionspartial predicate

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• First-order composition-nominative logics
• Composition nominative first order calculi
• Composition nominative logics of equitone predicates
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Composition nominative logics of quasi-ary predicates

Cited in

(9)

• Many-sorted first-order composition-nominative logic as institution
• Composition-nominative logics as institutions
• Satisfiability in composition-nominative logics
• Composition nominative logics of equitone predicates
• Composition nominative first order calculi
• Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• First-order composition-nominative logics

This page was built for publication: Composition nominative first order logics

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