Some Multi-Conclusion Modal Paralogics Export

@article{citeulike:6032567, abstract = {Abstract.\ \ 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.}, author = {McGinnis, Casey}, citeulike-article-id = {6032567}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s11787-007-0017-8}, citeulike-linkout-1 = {http://www.springerlink.com/content/du27x0484h74t425}, day = {20}, doi = {10.1007/s11787-007-0017-8}, journal = {Logica Universalis}, keywords = {modal, paraconsistent, relevant}, month = {October}, number = {2}, pages = {335--353}, posted-at = {2009-10-29 16:34:23}, priority = {0}, title = {Some Multi-Conclusion Modal Paralogics}, url = {http://dx.doi.org/10.1007/s11787-007-0017-8}, volume = {1}, year = {2007} }

TY - JOUR ID - citeulike:6032567 L3 - citeulike-article-id:6032567 N2 - Abstract.  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. IS - 2 JF - Logica Universalis EP - 353 TI - Some Multi-Conclusion Modal Paralogics VL - 1 SP - 335 KW - modal KW - paraconsistent KW - relevant AU - McGinnis, Casey PY - 2007/10/20/ UR - http://dx.doi.org/10.1007/s11787-007-0017-8 ER -