Contextual Negations and Reasoning with Contradictions
暂无分享,去创建一个
[1] E. Alves,et al. Paraconsistent logic and model theory , 1984 .
[2] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[3] Walter Alexandre Carnielli,et al. Systematization of finite many-valued logics through the method of tableaux , 1987, Journal of Symbolic Logic.
[4] H. A. Lewis,et al. ENTAILMENT: The Logic of Relevance and Necessity (Volume I) , 1978 .
[5] James K. Feibleman. Of Symbolic Logic , 1979 .
[6] F. J. Pelletier,et al. 316 Notre Dame Journal of Formal Logic , 1982 .
[7] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..
[8] Mamede Lima-Marques,et al. Reasoning under Inconsistent Knowledge , 1992, J. Appl. Non Class. Logics.
[9] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[10] Richard L. Epstein,et al. The Semantic Foundations of Logic Volume 1: Propositional Logics , 1990 .
[11] Walter Alexandre Carnielli. Many-valued logics and plausible reasoning , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.