Satisfiability in composition-nominative logics

Satisfiability in composition-nominative logics

Bibliographic Details
Main Authors: Nikitchenko Mykola, Tymofieiev Valentyn
Format: Article
Language:English
Published: De Gruyter 2012-10-01
Series:Open Computer Science
Subjects:
partial predicates
partial logics
first-order logics
satisfiability
validity
compositionality
nominativity
compostion-nominative logics
Online Access:http://www.degruyter.com/view/j/comp.2012.2.issue-3/s13537-012-0027-3/s13537-012-0027-3.xml?format=INT

Internet

http://www.degruyter.com/view/j/comp.2012.2.issue-3/s13537-012-0027-3/s13537-012-0027-3.xml?format=INT

Similar Items