Negation and Paraconsistent Logics
暂无分享,去创建一个
[1] Greg Restall. Laws of Non-Contradiction, Laws of the Excluded Middle, and Logics * , 2004 .
[2] Gerhard Gentzen,et al. Investigations into Logical Deduction , 1970 .
[3] Arnon Avron,et al. Natural 3-valued logics—characterization and proof theory , 1991, Journal of Symbolic Logic.
[4] Stanisław J. Surma. THE GROWTH OF LOGIC OUT OF THE FOUNDATIONAL RESEARCH IN MATHEMATICS , 1981 .
[5] Mihir K. Chakraborty,et al. Graded Consequence and Some Metalogical Notions Generalized , 1997, Fundam. Informaticae.
[6] J. Dunn. A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation , 1999 .
[7] Kazimierz Ajdukiewicz,et al. From the methodology of the deductive sciences , 1966 .
[8] Ayda I. Arruda. Aspects of the historical development of paraconsistent logic , 1989 .
[9] W. Carnielli,et al. Logics of Formal Inconsistency , 2007 .
[10] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .
[11] Evandro Agazzi,et al. Modern Logic — A Survey , 1981 .
[12] Graham Priest,et al. Paraconsistent Logic: Essays on the Inconsistent , 1990 .
[13] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .
[14] J. Beall,et al. The Law of Non-Contradiction , 2004 .
[15] Didier Dubois,et al. Possibilistic logic : a retrospective and prospective view , 2003 .
[16] J. Dunn,et al. Star and Perp: Two Treatments of Negation1 , 1993 .