Categorical consequence for paraconsistent logic

dc.contributor.author	Woodruff, Peter W., author
dc.contributor.author	Johnson, Fred (Frederick A.), author
dc.contributor.author	Filosofia, publisher
dc.date.accessioned	2007-01-03T07:43:57Z
dc.date.available	2007-01-03T07:43:57Z
dc.date.issued	1999
dc.description.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.
dc.format.medium	born digital
dc.format.medium	preliminaries
dc.identifier.bibliographicCitation	Johnson, Fred and Peter W. Woodruff, Categorical Consequence for Paraconsistent Logicauthor, Childers, Timothy, ed., The Logica Yearbook 1998, 141-150. Prague: Filosofia, 1999.
dc.identifier.uri	http://hdl.handle.net/10217/86329
dc.language	English
dc.language.iso	eng
dc.publisher	Colorado State University. Libraries
dc.relation.ispartof	Faculty Publications
dc.rights	Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.
dc.subject	consequence relations
dc.subject	truth value gaps
dc.title	Categorical consequence for paraconsistent logic
dc.type	Text
dc.type	Image

Files

Now showing 1 - 1 of 1