Results for 'Itala M. L. D���Ottaviano'

1000+ found
Order:
  1.  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.
  2.  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.
  3.  18
    Foreword.Evandro Agazzi, Itala M. L. D'Ottaviano & Daniele Mundici - 2011 - Manuscrito 34 (1):09-17.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  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  
  5.  30
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  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.
  7.  93
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  8. 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  
  9.  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  
  10.  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 (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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  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 we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  27
    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   9 citations  
  13.  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.Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
  14.  19
    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.
  15.  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  
  16.  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 we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. 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  
  18.  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   3 citations  
  19. " 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.
  20.  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  
  21.  23
    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 studied by the Stagerian (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  18
    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  
  23.  9
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
  24. 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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  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  
  26.  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  
  27.  5
    Foreword.Daniele Mundici & Itala M. Loffredo D’Ottaviano - 2011 - Studia Logica 97 (1):1-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    Foreword.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundici - 2011 - Principia: An International Journal of Epistemology 15 (1):1-5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Many-Valued Points and Equality.I. M. L. D'Ottaviano & H. D. A. Feitosa - 2000 - Synthese 125 (1-2):77-95.
  31.  3
    Conferences.I. M. L. D'Ottaviano - 1997 - Logic Journal of the IGPL 5 (3):1-38.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Aftermath of the Logical Paradise.Jean-Yves Beziau, Alexandre Costa-Leite & Itala M. Loffredo D’Ottaviano (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  33. The Many Sides of Logic.Walter Carnielli, Marcello E. Coniglio & Itala M. Loffredo D’Ottaviano (eds.) - 2009 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  40
    Plautus, Pontano and Panormita Rita Cappelletto: La 'Lectura Plauti' del Pontano. Con edizione delle postille del cod. Vindob. Lat. 3168 e osservazioni sull' 'Itala recensio' (Ludus Philologiae, 2.) Pp. 295; 28 plates. Urbino: Quattro Venti, 1988. Paper, L. 35,000. [REVIEW]M. D. Reeve - 1990 - The Classical Review 40 (01):24-27.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. 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   7 citations  
  36. M.L.D. RIEDEL Leo VI and the Transformation of Byzantine Christian Identity: Writings of an Unexpected Emperor. Cambridge: Cambridge University Press, 2018. Pp. Xx + 219. £75. 9781107053076. [REVIEW]Shaun Tougher - 2021 - Journal of Hellenic Studies 141:302-303.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  9
    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.
  38.  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  
  39.  17
    M. Hofinger, D. Pinte: Lexicon Hesiodeum Cum Indice Inverso. Supplementum. Pp. 67. Leiden: Brill, 1985. Paper, Fl. 25.M. L. West - 1987 - The Classical Review 37 (2):297-297.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  21
    M. Hofinger, D. Pinte: Lexicon Hesiodeum Cum Indice Inverso. Supplementum. Pp. 67. Leiden: Brill, 1985. Paper, Fl. 25.M. L. West - 1987 - The Classical Review 37 (02):297-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  11
    L'Instrument de musique dans la ceramique de la Grece antique. Etudes d'organologie. [REVIEW]M. L. West & D. Paquette - 1985 - Journal of Hellenic Studies 105:209-209.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  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  
  43. 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  
  44.  5
    Further Greek Epigrams: Epigrams Before A.D. 50 From the Greek Anthology and Other Sources, Not Included in 'Hellenistic Epigrams' or 'The Garland of Philip'. [REVIEW]M. L. West, Anthologia Graeca, D. L. Page, R. D. Dawe & J. Diggle - 1983 - Journal of Hellenic Studies 103:186-187.
  45. Quasiset Theories for Microobjects: A Comparison.M. L. Dalla Chiara, R. Giuntini & D. Krause - 1998 - In Elena Castellani (ed.), Interpreting Bodies. Princeton University Press. pp. 142--52.
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  46.  5
    Do Tanzanian Hospitals Need Healthcare Ethics Committees? Report on the 2014 Dartmouth/Penn Research Ethics Training and Program Development for Tanzania (DPRET) Workshop.M. Aboud, D. Bukini, R. Waddell, L. Peterson, R. Joseph, B. M. Morris, J. Shayo, K. Williams, J. F. Merz & C. M. Ulrich - 2018 - South African Journal of Bioethics and Law 11 (2):75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  43
    The Oxford Classical Dictionary. Ed. M. Cary, J. D. Denniston, J. Wight Duff, A. D. Nock, W. D. Ross and H. H. Scullard. Pp. Xix + 971. Oxford: Clarendon Press, 1949. 50s. [REVIEW]J. O. Thomson, M. L. Clarke, M. Cary, J. D. Denniston, J. Wight Duff, A. D. Nock, W. D. Ross & H. H. Scullard - 1949 - Journal of Hellenic Studies 69 (1):95-96.
  48. CHASTAING, M. - L'existence D'Autrui. [REVIEW]I. M. Crombie - 1957 - Mind 66:116.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  73
    Greek Lyric Poetry: A Selection of Early Greek Lyric, Elegiac and Iambic Poetry. [REVIEW]M. L. West, Lyrici & D. A. Campbell - 1969 - Journal of Hellenic Studies 89:126-127.
  50. "D'Ooge", M. L., Robbins, F. E., Karpinski, L. C., Nicomachus of Gerasa, Introduction to Arithmetic. Translated Into English by Martin Luther D'Ooge, With Studies in Greek Arithmetic by Frank Eggleston Robbins and Louis Charles Karpinski. [REVIEW]D. E. Smith - 1928 - Classical World: A Quarterly Journal on Antiquity 22:22-24.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000