Categorical consequence for paraconsistent logic
Date
1999
Authors
Woodruff, Peter W., author
Johnson, Fred (Frederick A.), author
Filosofia, publisher
Journal Title
Journal ISSN
Volume Title
Abstract
Consequence relations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion categorical consequence relations.
Description
Rights Access
Subject
consequence relations
truth value gaps