Article,

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.

.
Stud Logica, 49 (4): 541-555 (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews