Home Satisfiability in composition-nominative logics
Article Open Access

Satisfiability in composition-nominative logics

  • Mykola Nikitchenko EMAIL logo and Valentyn Tymofieiev
Published/Copyright: November 4, 2012
Download Article (PDF)
Become an author with De Gruyter Brill
Author Information Explore this Subject
Open Computer Science
From the journal Open Computer Science Volume 2 Issue 3

Published Online: 2012-11-4
Published in Print: 2012-10-1

© 2012 Versita Warsaw

Articles in the same Issue

  1. Selected Papers from the International Scientific Conference INFORMATICS’2011
  2. Cognitive traveling in digital space: from keyword search through exploratory information seeking
  3. Mining moving object data
  4. Satisfiability in composition-nominative logics
  5. Intrusion detection system episteme
  6. General composition for high level Petri nets and its properties
  7. Algorithm of traffic signs recognition based on the rapid transform
  8. Modeling generalization and specialization with Extended Conceptual Graphs
  9. On building an object-oriented parallel virtual reality system
  10. Digital preservation of historical buildings using virtual reality technologies
  11. Supporting multiple configuration sources using abstraction
  12. Analyzing stereotypes of creating graphical user interfaces
  13. Command and control information systems semantic interoperability using a canonical messaging approach
  14. Overview and insight into the MONICA research group
  15. New approach to remote laboratory in regard to topology change and self-repair feature
  16. Process models using hardware in simulation loop
https://doi.org/10.2478/s13537-012-0027-3
Keywords for this article
partial predicates; partial logics; first-order logics; satisfiability; validity; compositionality; nominativity; compostion-nominative logics
Creative Commons
BY-NC-ND 3.0

Articles in the same Issue

  1. Selected Papers from the International Scientific Conference INFORMATICS’2011
  2. Cognitive traveling in digital space: from keyword search through exploratory information seeking
  3. Mining moving object data
  4. Satisfiability in composition-nominative logics
  5. Intrusion detection system episteme
  6. General composition for high level Petri nets and its properties
  7. Algorithm of traffic signs recognition based on the rapid transform
  8. Modeling generalization and specialization with Extended Conceptual Graphs
  9. On building an object-oriented parallel virtual reality system
  10. Digital preservation of historical buildings using virtual reality technologies
  11. Supporting multiple configuration sources using abstraction
  12. Analyzing stereotypes of creating graphical user interfaces
  13. Command and control information systems semantic interoperability using a canonical messaging approach
  14. Overview and insight into the MONICA research group
  15. New approach to remote laboratory in regard to topology change and self-repair feature
  16. Process models using hardware in simulation loop
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2025 De Gruyter Brill
Downloaded on 24.9.2025 from https://www.degruyterbrill.com/document/doi/10.2478/s13537-012-0027-3/html
Scroll to top button