### Paraconsistency and analyticity

DOI: http://dx.doi.org/10.12775/LLP.1999.008

#### Abstract

#### Full Text:

PDF#### References

A.R. Anderson, N.D. Belnap Jr., J.M. Dunn, Entailment. The Logic of Relevance and Necessity, vol. II, Princeton University Press, Princeton, 1992.

N.D. Belnap Jr., A Useful Four-valued Logic, in J.M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-valued Logic, Reidel, Dordrecht, pp. 8–37, 1977. A more recent version of this paper can be found in [1], pp. 506–541.

Ph. Besnard and A. Hunter, Quasi-classical logic. non-trivializable classical reasoning from inconsistent information, in C. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Uncertainty (ECSQARU’95), Springer, LNCS 946, Heidelberg, pp. 44–51, 1995.

A. Bloesch, Tableau Style Proof Systems for Many-Valued Logics, Technical Report No 94–18, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Queensland (Aus.), 1994.

J.M. Dunn, A Modification of Parry’s Analytic Implication, Notre Dame Journal of Formal Logic, 13 (1972), pp. 195-205.

R.L. Epstein, The Semantic Foundations of Logic. Volume 1: Propositional Logics, Kluwer Academic Publishers, Dordrecht, 1990.

K. Fine, Analytic implication, Notre Dame Journal of Formal Logic, 27 (1986), pp. 169–179.

D. Gabbay and A. Hunter, Making Inconsistency Respectable 1: A Logical Framework for Inconsistency in Reasoning, in Ph. Jorrand and J. Kelemen (eds.), Fundamentals of Artificial Intelligence, Springer, LNCS 535, Heidelberg, pp. 19–32, 1991.

R. Hähnle, Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics, in Proceedings Workshop Computer Science, Springer, LNCS 533, Heidelberg, pp. 248–260, 1991.

J. Meheus, An extremely rich paraconsistent logic and the adaptive logic based on it, Universiteit Gent, Centre for Logic and Philosophy of Science, Preprint 65, Gent, 1998.

W.T. Parry, Ein Axiomensystem f¨ur eine neue Art von Implikation (analytische Implikation), Ergebnisse eines mathematischen Kolloquiums, 4 (1933), pp. 5–6.

W.T. Parry, Analytic Implication: Its History, Justification and Varieties, in J. Norman and R. Sylvan (eds.), Directions in Relevant Logic, Kluwer, Boston, pp. 101–118, 1989.

R. Smullyan, First-Order Logic, Springer, New York, 1968.

ISSN: 2300-9802 (electronic version)