Article,

Characterizing logical consequence in many-valued logic.

, , and .
J. Log. Comput., 27 (7): 2193-2226 (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews