Search results for 'Itala M. L. D.’Ottaviano' (try it on Scholar)

9 found
Sort by:
  1. A. Carnielli Walter, E. Coniglio Marcelo & M. L. D.’Ottaviano Itala (2009). New Dimensions on Translations Between Logics. Logica Universalis 3 (1).score: 3900.0
    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.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Graeme Forbes (1991). 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] Journal of Symbolic Logic 56 (4):1499-1500.score: 1950.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Graeme Forbes (1991). Epstein Richard L.. The Semantic Foundations of Logic. Volume 1: Propositional Logics. With the Assistance and Collaboration of Carnielli Walter A., D'Ottaviano Itala ML, Krajewski Stanisław, and Maddux Roger D.. Nijhoff International Philosophy Series, Vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, Xxii+ 386 Pp. [REVIEW] Journal of Symbolic Logic 56 (4):1499-1500.score: 984.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.score: 387.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D'Ottaviano (2009). New Dimensions on Translations Between Logics. Logica Universalis 3 (1):1-18.score: 384.0
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Ítala M. L. D'Ottaviano (1987). Definability and Quantifier Elimination for J3-Theories. Studia Logica 46 (1):37 - 54.score: 384.0
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Evandro L. Gomes & Ítala M. L. D.?Ottaviano (2011). Aristotle's Theory of Deduction and Paraconsistency. Principia 14 (1):71-97.score: 384.0
    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)  
     
    My bibliography  
     
    Export citation  
  8. Itala M. L. D'Ottaviano (2000). Review: Pablo Domínguez Prieto, Nossa, Jara, Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. [REVIEW] Bulletin of Symbolic Logic 6 (3):349-351.score: 384.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. I. M. L. D'Ottaviano & H. D. A. Feitosa (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.score: 196.8
    No categories
     
    My bibliography  
     
    Export citation