Composition-nominative logics of quasi-ary predicates: semantic aspects
From MaRDI portal
Publication:2850352
zbMATH Open1289.03014MaRDI QIDQ2850352FDOQ2850352
Authors: M. S. Nikitchenko, S. S. Shkil'nyak 
Publication date: 26 September 2013
Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 2169314
- Composition nominative logics of quasi-ary predicates
- Composition nominative logics of equitone predicates
- Composition nominative first order logics
- Satisfiability in composition-nominative logics
- A compositional semantics for logic programs
- Semantic aspects of transitional composition-nominative modal logics
- Algebras and logics of partial quasiary predicates
- First-order composition-nominative logics
- scientific article; zbMATH DE number 2062214
Cited In (19)
- Completeness of the first-order logic of partial quasiary predicates with the complement composition
- \(V\)-singular semantic models of first-order logics
- Composition nominative logics of equitone predicates
- Title not available (Why is that?)
- Logics of partial predicates with extended renominations and quantifiers
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
- Composition nominative logics of quasi-ary predicates
- Two-valued and many-valued composition-nominative logics
- Title not available (Why is that?)
- Free-quantifier functional logics of partial quasi-ary predicates
- First-order logics of quasiary predicates
- Semantic properties of logics of partial predicates with extended renominations
- Composition nominative first order logics
- Sequent calculi for logics of partial and multi-valued quasi-ary predicates
- First-order composition-nominative logics
- Special sequent calculi for logics of single-valued quasi-ary predicates
- Nominalization and Scott's domains. II
- Renominative composition-nominative logics with predicates of equality
- Three theories of nominalized predicates
This page was built for publication: Composition-nominative logics of quasi-ary predicates: semantic aspects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2850352)
