Some multi-conclusion modal paralogics

Logica Universalis 1 (2):335-353 (2007)
  Copy   BIBTEX


. I give a systematic presentation of a fairly large family of multiple-conclusion modal logics that are paraconsistent and/or paracomplete. After providing motivation for studying such systems, I present semantics and tableau-style proof theories for them. The proof theories are shown to be sound and complete with respect to the semantics. I then show how the “standard” systems of classical, single-conclusion modal logics fit into the framework constructed.



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

33 (#350,746)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press.
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.

View all 16 references / Add more references