Search by:
Year of publication
Author name
Paper title
Logical Consequence and its Formalizations in Composition Nominative Logics
Full text (PDF)
UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2012; 17(1):307-319
Abstract: Various semantics and various formalizations of relation of logical consequence for composition nominative logics of partial single-valued, total, and partial multiple-valued quasiary predicates are introduced. The authors study properties of the defined formalizations and specify correlations of different relations of logical consequence in different semantics.
Keywords: logic, semantic, predicate, logical consequence
References:
View full text (PDF)