Pure composition nominative calculi

MaRDI QIDQ2737108zbMATH OpenFDO

Authors M. 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

axiomatic calculicomposition nominative logics

Mathematics Subject Classification ID

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

Recommendations

• Composition nominative first order calculi
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• scientific article; zbMATH DE number 2169149
• Composition nominative logics of equitone predicates
• First-order composition-nominative logics

Cited in

(5)

• Composition nominative first order calculi
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• scientific article; zbMATH DE number 2169149 (Why is no real title available?)
• scientific article; zbMATH DE number 910447 (Why is no real title available?)
• On minimal models for pure calculi of names

This page was built for publication: Pure composition nominative calculi

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