MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Paraconsistent Logics and Paraconsistency: Technical and Philosophical Developments (2004) [2 citations — 0 self]

by Newton C. A. da Costa ,  Décio Krause ,  J. J. Sylvester ,  Newton C. A. Da Costa ,  D Ecio Krause ,  Otávio Bueno
CLE e-prints (Section Logic
Add To MetaCart

Abstract:

this paper is not included in this rst draft. Criticisms are welcome

Citations

567 An Introduction to Modal Logic – Hughes, Cresswell - 1968
217 Possibility theory : An approach to computerized processing of uncertainty – Dubois, Prade - 1986
58 Paraconsistent logic programming – Blair, Subrahmanian - 1987
51 Philosophy of logics – Haack - 1978
35 A taxonomy of C-systems – Carnielli, Marcos - 2001
33 On the semantics of rule-based expert systems with uncertainty. Pages 102--117 of – Kifer - 1988
31 On the theory of inconsistent formal systems, Notre Dame – Costa - 1974
29 Quantum logic – Chiara - 1986
22 Logics of Formal Inconsistency – Carnielli, Coniglio, et al. - 2007
22 Introduction to – Church - 1956
21 Deduction. Automated Logic – Bibel - 1993
20 Paraconsistent extensional propositional logics. Logique et Analyse – Batens - 1980
19 The Logical Foundations of Mathematics – Hatcher - 1982
13 A survey of paraconsistent logic – Arruda - 1980
12 Paraconsistent foundations for logic programming – Blair - 1989
12 A semantical analysis of the calculi Cn. Notre Dame – Costa, Alves - 1977
11 Theory of Sets – Bourbaki - 1968
11 Sur un problème de Ja´skowski. Comptes Rendus de l’Academie de Sciences de Paris (A-B – D’Ottaviano, Costa - 1970
10 Rachunek zdańdla systemów dedukcyjnych sprzecznych’, Studia Societatis Scientiarum Torunensis, Sectio A – Ja´skowski - 1948
9 Minimally abnormal models in some adaptive logics – Batens - 2000
9 Universal Logic – Béziau - 1994
8 A calculus of antinomies”, Notre Dame – Asenjo - 1966
8 Systematization of many-valued logics through the method of tableaux – Carnielli - 1987
7 Logiques construites suivant les méthodes de da Costa”, Logique et Analyse – Béziau - 1990
7 Set theory with a universal set – Church - 1974
7 Observações sobre o conceito de existência em matemática. Anuário da Sociedade Paranaense de Matemática – Costa - 1959
6 Aspects of the historical development of paraconsistent logic – Arruda - 1989
6 Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases – Costa, Subrahmanian - 1989
6 Paraconsistent Logic in a Historical Perspective – Costa, Beziau, et al. - 1995
6 Automatic theorem proving in paraconsistent logics: Theory and implementation – Costa, Henschen, et al. - 1990
6 On the development of paraconsistent logic and da Costa’s work – D’Ottaviano - 1990
6 Intensional and Higher-Order Logic – Gallin - 1975
5 Automated Theorem Proving. Friedr. Vieweg – Bibel - 1982
5 On Ja´skowski’s discussive logic – Costa, A, et al. - 1977
4 Fundamentos da Logica Anotada – Abe - 1992
4 Negation: What it is & what it is not. Boletim da Sociedade Paranaense de Matemática (2 – Béziau - 1996
3 Are paraconsistent negations negations ?', in Paraconsistency: the logical way to the inconsistent, W. Carnielli et al – Beziau - 2002
3 Empirical Adequacy: A Partial Structures Approach – Bueno - 1997
3 Logiques Classiques et non Classiques – Costa, A - 1997
3 The Model-Theoretic Approach – Costa, A, et al. - 1990
3 An overview of paraconsistent logic in the 80s – Costa, Marconi - 1989
3 The Logic of Pragmatic Truth – Costa, A, et al. - 1998
3 The completeness and compactness of a three-valued logic, Revista Colombiana de Matematicas XIX – D'ottaviano - 1985
3 An evidence based framework for a theory of inheritance – Kifer, Krishnaprasad - 1989
2 Logica e Inconsist^encia: um estudo dos calculos Cn 1 – Alves - 1976
2 Paraconsistent logic and model theory', Studia Logica 43(1/2 – Alves - 1984
2 On the imaginary logic of – Arruda - 1977
2 Une semantique pour le calcul – Arruda, Costa - 1977
2 In Synthese 75 – Bell - 1988
2 por que no – A, Inconsistencias - 1996
View or Download | Add to My Collection | Correct Errors