Logics of Formal Inconsistency
暂无分享,去创建一个
[1] E. H. Moore. ON THE FOUNDATIONS OF MATHEMATICS. , 1903 .
[2] D. Hilbert. Über das Unendliche , 1926 .
[3] K. Popper,et al. The Logic of Scientific Discovery , 1960 .
[4] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[5] R. Carnap. Logical Syntax of Language , 1937 .
[6] W. V. Quine,et al. Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .
[7] H. B. Curry. The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.
[8] C. I. Lewis,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1944 .
[9] W. Quine. On What There Is , 1948 .
[10] Nicholas Bourbaki,et al. The Architecture of Mathematics , 1950 .
[11] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[12] F. B. Fitch. Symbolic Logic, An Introduction , 1953 .
[13] Willard Van Orman Quine,et al. From a Logical Point of View , 1955 .
[14] Moh Shaw-Kwei. Logical Paradoxes for Many-Valued Systems , 1954, J. Symb. Log..
[15] A. Heyting,et al. Intuitionism: An introduction , 1956 .
[16] K. Popper,et al. Conjectures and Refutations , 1963 .
[17] Frederic Brenton Fitch,et al. A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.
[18] K. Popper,et al. Conjectures and refutations;: The growth of scientific knowledge , 1972 .
[19] Florencio G. Asenjo,et al. A calculus of antinomies , 1966, Notre Dame J. Formal Log..
[20] Andrés R. Raggio. Propositional sequence-calculi for inconsistent systems , 1968, Notre Dame J. Formal Log..
[21] Timothy Smiley,et al. Deducibility and many-valuedness , 1971, Journal of Symbolic Logic.
[22] A. Sette,et al. ON THE PROPOSITIONAL CALCULUS P1. , 1973 .
[23] R. Montague. Formal philosophy; selected papers of Richard Montague , 1974 .
[24] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..
[25] G. Takeuti. Proof Theory , 1975 .
[26] Richard Routley,et al. Dialectical logic, classical logic, and the consistency of the world , 1976 .
[27] Cora Diamond,et al. Wittgenstein's Lectures on the Foundations of Mathematics. , 1977 .
[28] Newton C. A. da Costa,et al. A semantical analysis of the calculi Cn , 1977, Notre Dame J. Formal Log..
[29] Roman Suszko,et al. The Fregean Axiom and Polish mathematical logic in the 1920s , 1977 .
[30] D. J. Shoesmith,et al. Multiple-Conclusion Logic , 1978 .
[31] Nicholas Rescher,et al. The logic of inconsistency , 1979 .
[32] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[33] Graham Priest,et al. The logic of paradox , 1979, J. Philos. Log..
[34] D. Batens. Paraconsistent extensional propositional logics , 1980 .
[35] Chris Mortensen. Every quotient algebra for C1 is trivial , 1980, Notre Dame J. Formal Log..
[36] Ayda I. Arruda. A survey of Paraconsistent Logic (1) , 1980 .
[37] Epistemologia e História de Ciência. The journal of non-classical logic , 1982 .
[38] Yu. A. Gur'yan,et al. Parts I and II , 1982 .
[39] R. Goodstein,et al. The Basic Laws of Arithmetic , 1966, The Mathematical Gazette.
[40] N. Costa,et al. Paraconsistency, paracompleteness, and valuations , 1984 .
[41] Richard Routley,et al. Introduction: Paraconsistent logics , 1984 .
[42] R. A. Bull,et al. Basic Modal Logic , 1984 .
[43] Chris Mortensen,et al. Aristotle's thesis in consistent and inconsistent logics , 1984 .
[44] Martin W. Bunder. Some definitions of negation leading to paraconsistent logics , 1984 .
[45] Racionalidad y realismo , 1985 .
[46] Diderik Batens,et al. Dialectical dynamics within formal logics , 1986 .
[47] Arnon Avron,et al. On an implication connective of RM , 1986, Notre Dame J. Formal Log..
[48] Itala M. Loffredo D'Ottaviano,et al. Definability and Quantifier Elimination for J3-theories , 1987, Stud Logica.
[49] G. Priest. In Contradiction: A Study of the Transconsistent , 1987 .
[50] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .
[51] Igor Urbas. Paraconsistency and the ℂ-Systems of da Costa , 1989, Notre Dame J. Formal Log..
[52] Ludwig Wittgenstein,et al. Bemerkungen über die Grundlagen der Mathematik , 1989 .
[53] Richard Routley,et al. Systems of paraconsistent logic , 1989 .
[54] Jean-Yves Béziau. Logiques construites suivant les méthodes de da Costa I , 1990 .
[55] Richard Sylvan,et al. Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of Cω and CCω , 1990, Stud Logica.
[56] Walter Alexandre Carnielli. Many-valued logics and plausible reasoning , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.
[57] Graham Priest,et al. Paraconsistent Logic: Essays on the Inconsistent , 1990 .
[58] Richard L. Epstein. Translations Between Logics , 1990 .
[59] Diderik Batens. Against global paraconsistency , 1990 .
[60] Renato A. Lewin,et al. C1 Is Not Algebraizable , 1991, Notre Dame J. Formal Log..
[61] Graham Priest,et al. Minimally inconsistent LP , 1991, Stud Logica.
[62] Arnon Avron,et al. Natural 3-valued logics—characterization and proof theory , 1991, Journal of Symbolic Logic.
[63] Michael Dummett,et al. The logical basis of metaphysics , 1991 .
[64] N.C.A Costa,et al. On paraconsistent set theories , 1992 .
[65] Mamede Lima-Marques,et al. Reasoning under Inconsistent Knowledge , 1992, J. Appl. Non Class. Logics.
[66] Heinrich Wansing,et al. The Logic of Information Structures , 1993, Lecture Notes in Computer Science.
[67] G. Boolos. The logic of provability , 1993 .
[68] R. Tibshirani,et al. An introduction to the bootstrap , 1993 .
[69] Carnot's logic , 1993 .
[70] D. Gabbay. What is a logical system , 1994 .
[71] J. Rodriguez,et al. Problem (1) , 1994 .
[72] Newton C. A. da Costa,et al. Paraconsistent logic in a historical perspective , 1995 .
[73] Newton C. A. da Costa,et al. Aspects of Paraconsistent Logic , 1995, Log. J. IGPL.
[74] Pierre Nicole,et al. Logic or the Art of Thinking , 1996 .
[75] Hans Johann Glock,et al. A Wittgenstein Dictionary , 1996 .
[76] Igor Urbas,et al. Dual-Intuitionistic Logic , 1996, Notre Dame J. Formal Log..
[77] Gottlob Frege,et al. The Frege Reader , 1997 .
[78] Walter Carnielli,et al. Translations between logical systems: a manifesto , 1997 .
[79] W. Lenzen. Necessary conditions for negation-operators (with particular applications to paraconsistent negation) , 1998 .
[80] D. Hofstadter,et al. Le Ton Beau de Marot: In Praise of the Music of Language. , 1998 .
[81] D. Batens. Paraconsistency and its relation to worldviews , 1998 .
[82] Anthony Hunter,et al. Paraconsistent logics , 1998 .
[83] Jean-Yves Béziau. Idempotent Full Paraconsistent Negations are not Algebraizable , 1998, Notre Dame J. Formal Log..
[84] C. Damásio,et al. A survey of paraconsistent semantics for logic programs , 1998 .
[85] Karl Svozil,et al. Quantum Logic , 1998, Discrete mathematics and theoretical computer science.
[86] Dale Jacquette. Paraconsistent Logical Consequence , 1998, J. Appl. Non Class. Logics.
[87] Diderik Batens. Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models. , 1999 .
[88] Arnon Avron. On the Expressive Power of Three-Valued and Four-Valued Languages , 1999, J. Log. Comput..
[89] Cristina Sernadas,et al. Fibring of Logics as a Categorial Construction , 1999, J. Log. Comput..
[90] Walter Alexandre Carnielli,et al. Limits for Paraconsistent Calculi , 1999, Notre Dame J. Formal Log..
[91] Marcelo E. Coniglio,et al. A categorial approach to the combination of logics , 1999 .
[92] Distribution of parity of the partition function in arithmetic progressions , 1999 .
[93] Diderik Batens,et al. A survey of inconsistency-adaptive logics , 2000 .
[94] Arnon Avron,et al. General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations , 2000, Log. J. IGPL.
[95] Itala M. Loffredo D'Ottaviano,et al. NATURAL DEDUCTION FOR PARACONSISTENT LOGIC , 2000 .
[96] João Marcos. 8K solutions and semi-solutions to a problem of da Costa , 2000 .
[97] Marcelo E. Coniglio,et al. Relevant information and relevant logic , 2001 .
[98] Walter Carnielli,et al. Tableaux for logics of formal inconsistency , 2001 .
[99] J. Martin Marcos,et al. Ex Contradictione Non Sequitur Quodlibet , 2001 .
[100] Reiner Hähnle,et al. Advanced Many-Valued Logics , 2001 .
[101] João Marcos,et al. Non-Truth-Functional Fibred Semantics , 2001 .
[102] Walter Carnielli. Tableau Systems for Logics of Formal Inconsistency , 2001 .
[103] W. Carnielli,et al. A Taxonomy of C-systems , 2001 .
[104] Daniel J. Velleman,et al. Philosophies of mathematics , 2001 .
[105] Nino B. Cocchiarella,et al. Logic and Ontology , 2001 .
[106] Walter Alexandre Carnielli,et al. A Logical Framework for Integrating Inconsistent Information in Multiple Databases , 2002, FoIKS.
[107] Heinrich Wansing,et al. Diamonds are a Philosopher's Best Friends , 2002, J. Philos. Log..
[108] Melvin Fitting,et al. Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..
[109] Jean-Yves Béziau. Are Paraconsistent Negations Negations , 2002 .
[110] Jean-Yves Béziau,et al. S5 is a paraconsistent logic and so is first-order classical logic , 2002 .
[111] Walter Alexandre Carnielli,et al. Transfers between Logics and their Applications , 2002, Stud Logica.
[112] On the remarkable correspondence between paraconsistent logics, modal logics, and ambiguity logics. , 2002 .
[113] Arnon Avron,et al. On Negation, Completeness and Consistency , 2002 .
[114] The Logic of Opposition , 2002 .
[115] Cristina Sernadas,et al. Fibring Non-Truth-Functional Logics: Completeness Preservation , 2003, J. Log. Lang. Inf..
[116] Walter Carnielli,et al. Suszko’s Thesis and dyadic semantics , 2003 .
[117] Marcelo E. Coniglio,et al. Dyadic semantics for many-valued logics , 2003 .
[118] Jean-Yves Béziau,et al. LOGIC MAY BE SIMPLE Logic, Congruence and Algebra , 2003 .
[119] Classical Recapture , 2003, math/0303313.
[120] Marcelo E. Coniglio,et al. Combining Valuations with Society Semantics , 2003, J. Appl. Non Class. Logics.
[121] Josep Maria Font,et al. A Survey of Abstract Algebraic Logic , 2003, Stud Logica.
[122] Koji Tanaka,et al. Three Schools of Paraconsistency , 2003 .
[123] Greg Restall. Laws of Non-Contradiction, Laws of the Excluded Middle, and Logics * , 2004 .
[124] Diderik Batens,et al. A Rich Paraconsistent Extension Of Full Positive Logic , 2004 .
[125] Panu Raatikainen. Conceptions of truth in intuitionism , 2004 .
[126] Arnon Avron,et al. Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures , 2004 .
[127] Jaime Ramos,et al. Cryptomorphisms at Work , 2004, WADT.
[128] João Marcos. Possible-translations semantics , 2004 .
[129] The Law of Noncontradiction: New Philosophical Essays , 2004 .
[130] J. Martin Marcos,et al. Formal inconsistency and evolutionary databases , 2004 .
[131] Opening address: Paraconsistent logic , 2004 .
[132] João Marcos,et al. On negation: Pure local rules , 2005, J. Appl. Log..
[133] Marcelo E. Coniglio,et al. Two's Company: “The Humbug of Many Logical Values” , 2005 .
[134] Cristina Sernadas,et al. Fibring of Logics as a Universal Construction , 2005 .
[135] João Marcos,et al. Logics of essence and accident , 2005 .
[136] Marcelo E. Coniglio. TOWARDS A STRONGER NOTION OF TRANSLATION BETWEEN LOGICS , 2005 .
[137] João Marcos. Modality and Paraconsistency , 2005 .
[138] Arnon Avron,et al. Non-deterministic Matrices and Modular Semantics of Rules , 2005 .
[139] Arnon Avron,et al. Non-deterministic Multiple-valued Structures , 2005, J. Log. Comput..
[140] How many logical values are there? Generalized compositionality for many-valued logics , 2005 .
[141] João Marcos,et al. Nearly every normal modal logic is paranormal , 2005 .
[142] Arnon Avron. Logical Non-determinism as a Tool for Logical Modularity: An Introduction , 2005, We Will Show Them!.
[143] Yaroslav Shramko,et al. Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research , 2005, Stud Logica.
[144] Sergei P. Odintsov. On the structure of paraconsistent extensions of Johansson's logic , 2005, J. Appl. Log..
[145] João Marcos,et al. On a Problem of da Costa , 2005 .
[146] Arnon Avron. Non-deterministic Semantics for Paraconsistent C-Systems , 2005, ECSQARU.
[147] Walter Alexandre Carnielli,et al. Anti-intuitionism and paraconsistency , 2005, J. Appl. Log..
[148] Walter Carnielli,et al. Possible-translations algebraization for paraconsistent logics , 2005 .
[149] George Neville-Neil. Understanding the Problem , 2006, ACM Queue.
[150] 양은석. Wittgenstein and paraconsistency , 2007 .
[151] Arnon Avron. Non-deterministic semantics for logics with a consistency operator , 2007, Int. J. Approx. Reason..
[152] Diderik Batens,et al. A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.
[153] João Marcos. Possible-translations semantics for some weak classically-based paraconsistent logics , 2008, J. Appl. Non Class. Logics.