Categorical consequence for paraconsistent logic

&
In Walter Carnielli (ed.), Paraconsistency:the logical way to the inconsistent. pp. 141-150 (2002)
  Copy   BIBTEX

Abstract

Consequence rleations 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 consequence relations.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equivalence of consequence relations: an order-theoretic and categorical perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
Tarskian Structured Consequence Relations and Functional Completeness.Heinrich Wansing - 1995 - Mathematical Logic Quarterly 41 (1):73-92.
From constants to consequence, and back.Dag Westerståhl - 2012 - Synthese 187 (3):957-971.
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Yes, Virginia, there really are paraconsistent logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.
Some supervaluation-based consequence relations.Philip Kremer & Michael Kremer - 2003 - Journal of Philosophical Logic 32 (3):225-244.
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case.Salem Benferhat, Didier Dubois & Henri Prade - 1997 - Studia Logica 58 (1):17-45.
Simple Consequence Relations.Arnon Avron - unknown
Logical opposition and collective decisions.Srećko Kovač - 2012 - In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Springer. pp. 341--356.
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures.James Hawthorne - 2014 - Studia Logica 102 (4):731-749.
Biconsequences.Szymon Frankowski - 2010 - Logic and Logical Philosophy 19 (4):353-364.
Recovering a logic from its fragments by meta-fibring.Marcelo Esteban Coniglio - 2007 - Logica Universalis 1 (2):377-416.

Analytics

Added to PP
2014-10-11

Downloads
392 (#48,782)

6 months
49 (#82,739)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frederick Johnson
Colorado State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references