Avron, Arnon; Konikowska, Beata; Zamansky, Anna Efficient reasoning with inconsistent information using C-systems. (English) Zbl 1360.68827 Inf. Sci. 296, 219-236 (2015). MSC: 68T37 03B50 03B53 68T27 PDF BibTeX XML Cite \textit{A. Avron} et al., Inf. Sci. 296, 219--236 (2015; Zbl 1360.68827) Full Text: DOI
Mu, Kedian Responsibility for inconsistency. (English) Zbl 1344.68232 Int. J. Approx. Reasoning 61, 43-60 (2015). MSC: 68T35 03B42 68T27 68T30 PDF BibTeX XML Cite \textit{K. Mu}, Int. J. Approx. Reasoning 61, 43--60 (2015; Zbl 1344.68232) Full Text: DOI
Mortensen, Chris Inconsistent mathematics. (English) Zbl 0827.03013 Mathematics and its Applications (Dordrecht). 312. Dordrecht: Kluwer Academic Publishers. ix, 155 p. (1995). Reviewer: G.Priest (Brisbane) MSC: 03B53 03-02 PDF BibTeX XML Cite \textit{C. Mortensen}, Inconsistent mathematics. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0827.03013)
Coquand, Thierry; Herbelin, Hugo \(A\)-translation and looping combinators in pure type systems. (English) Zbl 0817.03007 J. Funct. Program. 4, No. 1, 77-88 (1994). MSC: 03B40 PDF BibTeX XML Cite \textit{T. Coquand} and \textit{H. Herbelin}, J. Funct. Program. 4, No. 1, 77--88 (1994; Zbl 0817.03007) Full Text: DOI
Lozinskii, Eliezer L. Resolving contradictions: A plausible semantics for inconsistent systems. (English) Zbl 0804.68141 J. Autom. Reasoning 12, No. 1, 1-31 (1994). MSC: 68T30 03B80 PDF BibTeX XML Cite \textit{E. L. Lozinskii}, J. Autom. Reasoning 12, No. 1, 1--31 (1994; Zbl 0804.68141) Full Text: DOI
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard Elimination of cuts in first-order finite-valued logics. (English) Zbl 0821.03013 J. Inf. Process. Cybern. 29, No. 6, 333-355 (1993). MSC: 03B50 03F05 68T30 68T27 68T35 PDF BibTeX XML Cite \textit{M. Baaz} et al., J. Inf. Process. Cybern. 29, No. 6, 333--355 (1993; Zbl 0821.03013)
da Costa, Newton C. A. Inconsistent formal systems. (Sistemas formais inconsistentes.) (Portuguese) Zbl 0798.03025 Clássicos. 3. Curitiba: Edition da UFPR. xxii, 66 p. (1993). Reviewer: Itala D’Ottaviano (Campinas) MSC: 03B53 01A75 03-02 03-03 00B60 PDF BibTeX XML Cite \textit{N. C. A. da Costa}, Sistemas formais inconsistentes (Portuguese). Curitiba: Edition da UFPR (1993; Zbl 0798.03025)
Goldszmidt, Moisés; Pearl, Judea On the consistency of defeasible databases. (English) Zbl 0749.68026 Artif. Intell. 52, No. 2, 121-149 (1991). MSC: 68P15 68N17 68T35 PDF BibTeX XML Cite \textit{M. Goldszmidt} and \textit{J. Pearl}, Artif. Intell. 52, No. 2, 121--149 (1991; Zbl 0749.68026) Full Text: DOI
Blair, Howard A.; Subrahmanian, V. S. Paraconsistent foundations for logic programming. (English) Zbl 0689.03012 J. Non-Classical Logic 5, No. 2, 45-73 (1988). MSC: 03B60 68T15 68Q60 PDF BibTeX XML
Rozonoèr, L. I. Proving contradictions in formal theories. II. (English. Russian original) Zbl 0532.03008 Autom. Remote Control 44, No. 7, 908-914 (1983); translation from Avtom. Telemekh. 1983, No. 7, 97-104 (1983). MSC: 03B60 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Autom. Remote Control 44, No. 7, 908--914 (1983; Zbl 0532.03008); translation from Avtom. Telemekh. 1983, No. 7, 97--104 (1983)
Rozonoèr, L. I. Proving contradictions in formal theories. I. (English. Russian original) Zbl 0532.03007 Autom. Remote Control 44, No. 6, 781-790 (1983); translation from Avtom. Telemekh. 1983, No. 6, 113-124 (1983). MSC: 03B60 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Autom. Remote Control 44, No. 6, 781--790 (1983; Zbl 0532.03007); translation from Avtom. Telemekh. 1983, No. 6, 113--124 (1983)
Kramosil, Ivan A classification of inconsistent theories. (English) Zbl 0415.68001 Bull. Sect. Logic, Pol. Acad. Sci. 6, 35-41 (1977). MSC: 68Q65 68T15 68T99 03B99 03F20 PDF BibTeX XML Cite \textit{I. Kramosil}, Bull. Sect. Logic, Pol. Acad. Sci. 6, 35--41 (1977; Zbl 0415.68001)