30 found
Order:
Disambiguations
Walter A. Carnielli [25]Walter Alexandre Carnielli [7]
See also
Walter Carnielli
University of Campinas
  1. Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  2. Translations Between Logical Systems: A Manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  85
    New Dimensions on Translations Between Logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
    After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  4.  6
    Anti-Intuitionism and Paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.
  5.  49
    Systematization of Finite Many-Valued Logics Through the Method of Tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  6.  42
    Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
    This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  32
    Maximal Weakly-Intuitionistic Logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.
    This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  8.  63
    Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - forthcoming - Logic Journal of the IGPL.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  55
    Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
    Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. A Categorial Approach to the Combination of Logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  12
    Computability. Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  57
    The Dialogical Approach to Paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  38
    Computability Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 1989
    This book is dedicated to a classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  5
    On Paraconsistent Deontic Logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Razão e irracionalidade na representação do conhecimento.Walter A. Carnielli & Mamede Lima Marques - 1991 - Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Paraconsistency: The Logical Way to the Inconsistent.Walter A. Carnielli & Marcelo E. Coniglio - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
     
    Export citation  
     
    Bookmark   3 citations  
  18.  26
    Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.
    The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure system, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  11
    Some Results on Polarized Partion Relations of Higher Dimension.Walter Alexandre Carnielli & Carlos Augusto Di Prisco - 1993 - Mathematical Logic Quarterly 39 (1):461-474.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Reasoning Under Inconsistent Knowledge.Walter Alexandre Carnielli & Mamede Lima-Marques - 1992 - Journal of Applied Non-Classical Logics 2 (1):49-79.
  21.  49
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  27
    The Problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics.Walter A. Carnielli - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):19-29.
    This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We then call the problem of quantificationa2 completeness in m-valued logic the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  47
    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. [REVIEW]Walter A. Carnielli - 2004 - Studia Logica 78 (3):479-481.
    Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  17
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):531-538.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    The Problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
    This paper introduces the notions of perfect quantifiers in general many-valued logics and investigates the problem of quantificational completeness for such logics as well as the problem of characterizing all perfect quantifiers in 3-valued logics using techniques of combinatorial group theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  14
    Book Review: Yves Nievergelt, Birkäuser Verlag, Boston, 2002,€ 90, Pp. 480, ISBN 0-8176-4249-8, Hardcover. Dimensions (in Inches): 1.00× 9.96× 7.36. [REVIEW]Walter A. Carnielli - 2004 - Studia Logica 78 (3):479-481.
    This is a review of 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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  8
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31‐35):531-538.
  28. Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli & Itala M. L. D'ottaviano - 2001 - Studia Logica 69 (3):439-439.
     
    Export citation  
     
    Bookmark  
  29. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  30.  4
    Paraconsistency the Logical Way to the Inconsistent : Proceedings of the World Congress Held in São Paulo.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D'ottaviano - 2002 - Marcel Dekker.
    This impressive compilation of the material presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastião, São Paulo, Brazil, represents an integrated discussion of all major topics in the area of paraconsistent logic---highlighting philosophical and historical aspects, major developments and real-world applications.
    Direct download  
     
    Export citation  
     
    Bookmark