Walter Carnielli
#47,396
Most Influential Person Now
Brazilian logician
Walter Carnielli's AcademicInfluence.com Rankings
Walter Carnielliphilosophy Degrees
Philosophy
#2189
World Rank
#3801
Historical Rank
Mathematical Logic
#21
World Rank
#34
Historical Rank
Logic
#968
World Rank
#1569
Historical Rank
Download Badge
Philosophy
Walter Carnielli's Degrees
- PhD Mathematics State University of Campinas
Why Is Walter Carnielli Influential?
(Suggest an Edit or Addition)According to Wikipedia, Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas . With Bachelor and M.Sc. degrees in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 from the same university under the supervision of Newton da Costa and subsequently worked as a postdoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.
Walter Carnielli's Published Works
Published Works
- Logics of Formal Inconsistency (2007) (392)
- Semi-stable semantics (2006) (387)
- A Taxonomy of C-Systems (2001) (213)
- Paraconsistency: The Logical Way to the Inconsistent (2002) (169)
- Systematization of finite many-valued logics through the method of tableaux (1987) (149)
- Formal inconsistency and evolutionary databases (2004) (124)
- Paraconsistent Logic: Consistency, Contradiction and Negation (2016) (103)
- Two's Company: “The Humbug of Many Logical Values” (2005) (82)
- A Logical Framework for Integrating Inconsistent Information in Multiple Databases (2002) (72)
- Segmentation of breast tumors in mammograms by fuzzy region growing (1998) (66)
- Limits for Paraconsistent Calculi (1999) (63)
- Handbook of paraconsistency (2007) (62)
- Modulated fibring and the collapsing problem (2002) (60)
- The Semantic Foundations of Logic Volume 1: Propositional Logics (1990) (58)
- Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (2008) (55)
- On paraconsistent deontic logic (1986) (54)
- Maximal weakly-intuitionistic logics (1995) (54)
- Many-valued logics and plausible reasoning (1990) (47)
- An epistemic approach to paraconsistency: a logic of evidence and truth (2019) (45)
- Fibring Non-Truth-Functional Logics: Completeness Preservation (2003) (45)
- Model-Based Reasoning in Science and Technology (2019) (43)
- Segmentation of breast tumors in mammograms using fuzzy sets (2003) (43)
- Fibring of Logics as a Universal Construction (2005) (42)
- Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery (2010) (39)
- The Dialogical Approach to Paraconsistency (2004) (37)
- Anti-intuitionism and paraconsistency (2005) (35)
- New Dimensions on Translations Between Logics (2009) (34)
- Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. (2002) (33)
- Ultrafilter Logic and Generic Reasoning (1997) (32)
- Ex Contradictione Non Sequitur Quodlibet (2001) (31)
- Reasoning under Inconsistent Knowledge (1992) (30)
- Tableau Systems for Logics of Formal Inconsistency (2001) (28)
- Transfers between Logics and their Applications (2002) (28)
- A categorial approach to the combination of logics (1999) (28)
- On covering and coloring problems for rook domains (1985) (26)
- Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler (2008) (25)
- Translations between logical systems: a manifesto (1997) (23)
- Modalities and Multimodalities (2008) (22)
- Contextual Negations and Reasoning with Contradictions (1991) (22)
- Polynomial ring calculus for many-valued logics (2005) (21)
- Preservation of Interpolation Features by Fibring (2008) (20)
- Possible-translations algebraization for paraconsistent logics (2005) (19)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (2014) (18)
- Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole (2007) (18)
- The Many Sides of Logic (2009) (18)
- Suszko’s Thesis and dyadic semantics (2003) (17)
- TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY (2015) (17)
- Dyadic semantics for many-valued logics (2003) (17)
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (2010) (17)
- Logics For Qualitative Reasoning (2004) (16)
- Hyper-rook Domain Inequalities (1990) (15)
- Recovery operators, paraconsistency and duality (2019) (15)
- Fuzzy fusion operators to combine results of complementary medical image segmentation techniques (2003) (14)
- Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem (2016) (14)
- Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic (2020) (14)
- Splitting Logics (2005) (13)
- JOÃO MARCOS LOGICS OF FORMAL INCONSISTENCY (2001) (12)
- Paraconsistent set theory by predicating on consistency (2016) (12)
- Paraconsistent algebras (1984) (12)
- Surviving Abduction (2006) (12)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (2015) (11)
- On the Ramsey Problem for Multicolor Bipartite Graphs (1999) (11)
- Paraconsistent Machines and their Relation to Quantum Computing (2008) (11)
- K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers (2000) (11)
- POSSIBLE-TRANSLATIONS ALGEBRAIZABILITY (2005) (10)
- The Logical Legacy of Nikolai Vasiliev and Modern Logic (2017) (9)
- The Single-minded Pursuit of Consistency and its Weakness (2011) (8)
- A Taxonomy of -systems (2002) (8)
- Cut-elimination and deductive polarization in complementary classical logic (2017) (8)
- Modulated logics and flexible reasoning (2008) (8)
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms (2020) (8)
- Non-deterministic Semantics in Polynomial Format (2014) (7)
- Formal polynomials and the laws of form (2009) (7)
- Kantian and non-Kantian logics (1988) (7)
- Some Results an Polarized Relations of Higher Dimension (1993) (7)
- On formal aspects of the epistemic approach to paraconsistency (2018) (7)
- The Significance of the New Logic (2018) (7)
- Tableaux for logics of formal inconsistency (2001) (6)
- Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem (2005) (6)
- Computability (2nd ed.): computable functions, logic, and the foundations of mathematics (2000) (6)
- Interpolation via translations (2009) (6)
- How many logical values are there? Generalized compositionality for many-valued logics (2005) (6)
- Philosophy and Cognitive Science - Western & Eastern Studies (2012) (6)
- Advances in Contemporary Logic and Computer Science (1999) (5)
- On Discourses Addressed by Infidel Logicians (2013) (5)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (2020) (4)
- Kripke-Style Models for Logics of Evidence and Truth (2020) (4)
- Are the foundations of computer science logic-dependent? (2008) (4)
- On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth (2022) (4)
- Experimenting with Consistency (2017) (4)
- The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics (1987) (4)
- Meeting Hintikka's Challenge to Paraconsistentism (2009) (4)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory (2019) (4)
- Bridge principles and combined reasoning (2007) (4)
- The method of polynomial ring calculus and its potentialities (2015) (4)
- Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning (2012) (4)
- Some Natural Generalizations Of The Collatz Problem ∗ (2016) (4)
- Polynomial ring calculus for modalities (2015) (3)
- Special Issue: Formal Representations in Model-based Reasoning and Abduction (2012) (3)
- Contradictions, from Consistency to Inconsistency (2018) (3)
- TRANSCENDENTAL PHILOSOPHY AND QUANTUM PHYSICS (2010) (3)
- Unconventional Models of Computation Through Non-standard Logic Circuits (2007) (3)
- Valuation Semantics for First-Order Logics of Evidence and Truth (2021) (3)
- Volume I: Recovery operators in logics of formal inconsistency (2020) (3)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (2019) (3)
- Formal (In)consistency, Abduction and Modalities (2017) (3)
- Paraconsistency the Logical Way to the Inconsistent : Proceedings of the World Congress Held in São Paulo (2002) (3)
- Paul Bernays and the Eve of Non-standard Models in Logic (2012) (2)
- How to build your own paraconsistent logic : an introduction to the Logics of Formal ( In ) Consistency (2002) (2)
- Groups, Not Squares: Exorcizing a Fetish (2017) (2)
- Analysis of two fragments of the logic of residuated lattices (2004) (2)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (2021) (2)
- Preservation of interpolation by fibring (2004) (2)
- Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic (1995) (1)
- Formal polynomials, heuristics and proofs in logic (2010) (1)
- Fuzzy fusion of results of medical image segmentation (1999) (1)
- Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" . Logic Journal of the IGPL, 16(6): 585-590(2008) (2009) (1)
- Quantum Computation via Paraconsistent Computation (2006) (1)
- On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack (2010) (1)
- Reconciling First-Order Logic to Algebra (2018) (1)
- Methods and Applications of Mathematical Logic (1988) (1)
- Many-Valued Models (2005) (1)
- An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference (2005) (1)
- Appendix on Interpolation via translations : proofs as expected (2008) (1)
- On the philosophical motivations for the logics of formal consistency and inconsistency (2013) (1)
- Proofs by handling polynomials : a tool for teaching logic and metalogic (2011) (1)
- Society semantics and the logic way to collective intelligence (2017) (1)
- An epistemic approach to paraconsistency: a logic of evidence and truth (2017) (1)
- e-Reasoning: Between Digital Humanities and e-science (2014) (1)
- Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 (1988) (0)
- Semantics of Non-deterministic Character for LFIs (2016) (0)
- Gödel blooming: the Incompleteness Theorems from a paraconsistent perspective (2020) (0)
- Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge (2006) (0)
- A Paraconsistent Approach to Quantum Computing (2008) (0)
- Editorial: A Paraconsistent Decagon (2005) (0)
- Proceedings of the Workshop on Paraconsistent Logic (2002) (0)
- Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic (2020) (0)
- Splicing logics: Semantic fibring (2008) (0)
- Fibring first-order logics (2008) (0)
- Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36 (2004) (0)
- New semantics for urn logics: taming the enduring scandal of deduction (2020) (0)
- Splicing logics: Syntactic fibring (2008) (0)
- Fibring higher-order logics (2008) (0)
- Special Issue on Multimodal Logics: A Preface (2013) (0)
- Summing-up and outlook (2008) (0)
- Fibring non-truth functional logics (2008) (0)
- How AI can be surprisingly dangerous for the philosophy of mathematics— and of science (2021) (0)
- IF logic defining new paraconsistent logics (2010) (0)
- IF logic defining new paraconsistent logics (2010) (0)
- DOES CONTEXTUALISM MAKE COMMUNICATION A (2009) (0)
- LFIs Based on Other Logics (2016) (0)
- Some Extensions of mbC (2016) (0)
- Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99. (2013) (0)
- Tendencies in Logic, and Some Modest Advice to Young Logicians (2019) (0)
- Paraconsistent Set Theory (2016) (0)
- Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation (2009) (0)
- Volume II: New advances in Logics of Formal Inconsistency (2020) (0)
- Transfinite Induction on Ordinal Configurations (1981) (0)
- Contradiction and (in)Consistency (2016) (0)
- Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil (1999) (0)
- Book Reviews: Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education (2004) (0)
- On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency (2014) (0)
- XVI Brazilian Logic Conference (EBL 2011) (2012) (0)
- To be computable is not the same as to be constructible (2016) (0)
- Finite and infinite-valued logics: inference, algebra and geometry: Preface (1999) (0)
- Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 (1986) (0)
- Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder (2017) (0)
- Editorial (2005) (0)
- The Wonder of Colors and the Principle of Ariadne (2017) (0)
- First-Order LFIs (2016) (0)
- Truth-Conditional Semantics and Characterization Theorems for Urn Logics (2019) (0)
- A Categorical Approach to the Semantics of Possible-Translations (1999) (0)
- JOÃO MARCOS, DALMO MENDONÇA,Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. DIMAp (2008) (0)
- XI Brazilian Conference on Mathematical Logic (1997) (0)
- Contradictions in reasoning: an evil or a blessing? (2015) (0)
- Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives (2020) (0)
- Special Issue on Multimodal Logics: A Preface (2012) (0)
- Credal Calculi, Evidence, and Consistency (2021) (0)
- A Paraconsistent Decagon (2005) (0)
- How Colours Matter to Philosophy (2017) (0)
- Ju l 2 00 6 Quantum Computation via Paraconsistent Computation (2006) (0)
- The tyranny of knowledge (2008) (0)
- Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99. (2013) (0)
- On an Abstract Theory of Computational Models and the Converse of Rice ’ s Theorem (2009) (0)
- And C. sernadas/fibring non-truth-functional logics: Completeness preservation 183–211 Kentaro Kikuchi and Katsumi sasaki/a cut-free Gentzen formulation of basic propositional calculus 213–225 (2003) (0)
- Correction to: Contradictions, from Consistency to Inconsistency (2018) (0)
- Formalization of mathematics through proof assistants (2019) (0)
- F eb 2 00 8 A Paraconsistent Approach to Quantum Computing (2008) (0)
- Le logica impecabile del irrational (2005) (0)
- Editorial (2004) (0)
- Fraïssé's theorem for logics of formal inconsistency (2018) (0)
- New trends: Network fibring (2008) (0)
- Matrices and Algebraizability (2016) (0)
- Books Received (2019) (0)
- XVI brazilian Logic Conference (2012) (0)
- The King of Reasonshire – a computer game to practice critical thinking (2010) (0)
- Foreword (2017) (0)
- 6th Workshop on Logic, Language, Information and Computation (Wollic '99) (1999) (0)
- Adjusting a conjecture of Erdős (2011) (0)
- Book review (1997) (0)
- The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface (2014) (0)
- Years of reasoning. In honor of the 65th birthday of Claudio Pizzi (2010) (0)
- Paraconsistency and Philosophy of Science: Foundations and Perspectives (2016) (0)
- A Basic Logic of Formal Inconsistency: mbC (2016) (0)
This paper list is powered by the following services:
Other Resources About Walter Carnielli
What Schools Are Affiliated With Walter Carnielli?
Walter Carnielli is affiliated with the following schools: