Results for 'Itala Ml D'Ottaviano'

1000+ found
Order:
  1. 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  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
    This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.
     
    Export citation  
     
    Bookmark  
  3.  10
    Paraconsistent logics and translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  17
    Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤ n< ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, 1≤n<ω, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  2
    Xv latin american symposium on mathematical logic (slalm 2012).Itala Maria Loffredo D'Ottaviano - 2013 - Bulletin of Symbolic Logic 19 (3):332-376.
  6.  27
    Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  13
    Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
    ABSTRACT This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  28
    Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
    The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  23
    Deductive systems and translations.Itala M. Loffredo D'Ottaviano & H. A. Feitosa - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 125--157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  22
    Pablo Domínguez Prieto. Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. Nossa y Jara Editores, Madrid 1995, 289 pp. [REVIEW]Itala M. L. D'Ottaviano - 2000 - Bulletin of Symbolic Logic 6 (3):349-351.
  11. " Cogito ergo sum non machina!" About Gödel's first incompleteness theorem and turing machines.Ricardo Pereira Tassinari & Itala M. Loffredo D'Ottaviano - 2007 - Cogito 7:3.
  12.  9
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
  13.  19
    Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n (...))
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  25
    Aristotle’s Theory of Deduction and Paraconsistency.Evandro Luís Gomes & Itala M. Loffredo D'Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71–97.
    In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Um panorama da teoria aristotélica do silogismo categórico.Evandro Luís Gomes & Itala Maria L. D'Ottaviano - 2010 - CLE E-Prints 10 (4):1-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Foreword.Daniele Mundici & Itala M. Loffredo D’Ottaviano - 2011 - Studia Logica 97 (1):1-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Para além das Colunas de Hércules, uma história da paraconsistência.Evandro Luis Gomes & Itala Maria Loffredo D'Ottaviano - 2017 - Campinas, Brazil: Editora da Unicamp.
  18.  32
    Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. 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  
  20.  34
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano - 2005 - Logic Journal of the IGPL 13 (1):1-3.
    This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  2
    Quality and Form in the philosophy of Charles Sanders Peirce.Alexandre Augusto Ferraz & Itala M. Loffredo D’Ottaviano - 2020 - Cognitio 20 (2):343-377.
    O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  18
    Foreword.Evandro Agazzi, Itala M. L. D'Ottaviano & Daniele Mundici - 2011 - Manuscrito 34 (1):09-17.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    Foreword DOI: 10.5007/1808-1711.2011v15n1p1.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundice - 2011 - Principia: An International Journal of Epistemology 15 (1):1-5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  58
    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 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 Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  6
    Foreword DOI:10.5007/1808-1711.2011v15n2p223.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundici - 2011 - Principia: An International Journal of Epistemology 15 (2):223-224.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Foreword.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundice - 2011 - Principia: An International Journal of Epistemology 15 (1):1–5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  95
    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 (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  28.  20
    Carnielli, Walter (ed.). Logic and Philosophy of the Formal Sciences: A Festscrift for Itala M. Loffredo D´ Ottaviano. São Paulo: Centro de Lógica, Epistemología e Historia da Ciência, UNICAMP (Número especial de Manuscrito, Revista Internacional de Filosofia, vol. 28, n. 2, jul-dez.) pp. 191-591.(2005). [REVIEW]Tomás Barrero - 2006 - Ideas Y Valores 55 (132):124-126.
  29. Aftermath of the Logical Paradise.Jean-Yves Beziau, Alexandre Costa-Leite & Itala M. Loffredo D’Ottaviano (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  30. The Many Sides of Logic.Walter Carnielli, Marcello E. Coniglio & Itala M. Loffredo D’Ottaviano (eds.) - 2009 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  30
    Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
    In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  32.  23
    Paraconsistency: the logical way to the inconsistent, edited by Walter A. Carnielli, Marcelo E. Coniglio, and Itala M. Loffredo D'Ottaviano, Marcel Dekker, New York, 2002, xiv + 552 pp. [REVIEW]Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
  33.  6
    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  
  34.  16
    Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
  35.  9
    Review: Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux, The Semantic Foundations of Logic. Volume 1: Propositional Logics. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
  36. Natural deduction for paraconsistent logic.Milton Augustinis de Castro & Itala Maria Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
     
    Export citation  
     
    Bookmark   2 citations  
  37. Conservative translations.Iml D’Ottaviano & H. A. Feitosa - 2001 - Annals of Pure and Applied Logic 108:205-227.
     
    Export citation  
     
    Bookmark   9 citations  
  38. Many-valued points and equality.I. M. L. D'Ottaviano & H. D. A. Feitosa - 2000 - Synthese 125 (1-2):77-95.
  39. The Centre for Logic in Campinas and the development of logic in Brazil.Iml D'Ottaviano, Wa Carnielli & Eh Alves - forthcoming - Logique Et Analyse.
  40.  3
    Conferences.I. M. L. D'Ottaviano - 1997 - Logic Journal of the IGPL 5 (3):1-38.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  3
    Conference Report.I. D'ottaviano, W. Carnielli, A. Sette & M. Wrigley - 1997 - Logic Journal of the IGPL 5 (3):135-173.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. The centre for logic in campinas and the development of logic in Brazil iml D'Ottaviano, wa Carnielli and eh Alves.Loglca Matemdtlca - 1996 - Logique Et Analyse 39 (154):15-29.
  43. Farah, I., Basis problem for turbulent actions I: Tsirelson submeasures (1} 3) 189} 203 Feitosa, HA and Lo4redo D: Ottaviano, IM, Conservative translations (1} 3) 205} 227 Friedman, Sy D., see Bagaria, J.(1} 3) 3} 13. [REVIEW]R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (373):374.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  16
    Bette Anton, MLS, is Associate Librarian in the Health and Medical Sciences Department, School of Public Health, University of California, Berkeley Catherine A. Berglund, B. Sc.(Psych), Ph. D., is an associate fellow in the Science and Technology Studies Department, University of Wollongong, Australia, and has recently been awarded her doctorate for a dissertation on professional and. [REVIEW]Joseph C. D'Oronzio & Albuquerque Board - 1994 - Cambridge Quarterly of Healthcare Ethics 3:496-497.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. ML WEST Ancient Greek Music.D. Feaver - 2001 - American Journal of Philology 122 (3):436-439.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  12
    Bette Anton, MLS, is the Head Librarian of the Optometry Library/Health Sciences Information Service. This library serves the University of California at Berkeley–University of California at San Francisco Joint Medical Program and the University of California at Berkeley School of Optometry. Robert Baker, Ph. D., is Professor of Philosophy and Director of the Center for. [REVIEW]Jack Coulehan, John B. Davis, Joseph C. D’Oronzio, Steve Heilig, D. Micah Hester, Kenneth V. Iserson & Greg Loeben - 2002 - Cambridge Quarterly of Healthcare Ethics 11:327-328.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  21
    The Itala R. Weber: Biblia Sacra iuxta Vulgatam Versionem. Editio altera emendata. 2 vols. Pp. xxxii + 955; i + 956–1980. Stuttgart: Württembergische Bibelanstalt, 1975. Cloth, DM. 68. Julicher-Matzkow-Aland: Itala I–III: Matthäus-Evangelium, Marcus-Evangelium, Lucas-Evangelium. Zweite verbesserte Auflage. 3 vols. Pp. viii + 214; viii + 160; viii + 282. Berlin: de Gruyter, 1972, 1970, 1976. Paper, DM. 160, 160, 260. [REVIEW]G. D. Kilpatrick - 1978 - The Classical Review 28 (01):56-58.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  23
    The Itala.G. D. Kilpatrick - 1978 - The Classical Review 28 (01):56-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  37
    A characterization of ML in many-sorted arithmetic with conditional application.M. D. G. Swaen - 1992 - Journal of Symbolic Logic 57 (3):924 - 953.
    In this paper we discuss an interpretation of intuitionistic type theory in many-sorted arithmetic with so-called conditional application. Via the formulas-as-types correspondence the arithmetical system in turn can be embedded in ML, resulting in a characterization of strong Σ-elimination by an axiom of conditional choice.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  20
    Bette Anton, MLS, is Head Librarian of the Pamela and Kenneth Fong Optometry and Health Sciences Library. This library serves the University of California, Berkeley–University of California, San Francisco Joint Medical Pro-gram and the University of California, Berkeley, School of Optometry. Richard E. Ashcroft, Ph. D., is Leverhulme Senior Lecturer in Medical Ethics at. [REVIEW]Robert V. Brody, Chalmers C. Clark, Michael L. Gross, Heta Aleksandra Gylling, John Harris, Matti Häyry & Susan E. Herz - 2004 - Cambridge Quarterly of Healthcare Ethics 13:1-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000