Search results for 'Antonio M. A. Sette' (try it on Scholar)

8 found
Sort by:
  1. Renato H. L. Pedrosa & Antonio M. A. Sette (1988). A Representation Theorem for Languages with Generalized Quantifiers Through Back-and-Forth Methods. Studia Logica 47 (4):401 - 411.score: 622.5
    We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. A. M. Sette & Walter A. Carnielli (1995). Maximal Weakly-Intuitionistic Logics. Studia Logica 55 (1):181 - 203.score: 300.0
    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)  
     
    My bibliography  
     
    Export citation  
  3. J. C. Cifuentes, A. M. Sette & D. Mundici (1996). Cauchy Completeness in Elementary Logic. Journal of Symbolic Logic 61 (4):1153-1157.score: 300.0
    The inverse of the distance between two structures $\mathscr{A} \not\equiv \mathscr{B}$ of finite type τ is naturally measured by the smallest integer q such that a sentence of quantifier rank q - 1 is satisfied by A but not by B. In this way the space $\operatorname{Str}^\tau$ of structures of type τ is equipped with a pseudometric. The induced topology coincides with the elementary topology of $\operatorname{Str}^\tau$ . Using the rudiments of the theory of uniform spaces, in this elementary note (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. E. H. Alves & A. M. Sette (1996). On the Equivalence Between Some Systems of Non-Classical Logic. Bulletin of the Section of Logic 25:68-72.score: 270.0
    No categories
     
    My bibliography  
     
    Export citation  
  5. Antonio Mario Sette (1984). Partial Isomorphism Extension Method and a Represntation Theorem for Post‐Language. Mathematical Logic Quarterly 30 (19‐24):289-293.score: 210.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Antonio Mario Sette & José Carlos Cifuentes (2000). Compactification of L(Q). Synthese 125 (1-2):247 - 252.score: 150.0
    In this paper we extend the usual notion of model (asa structure) to the more general notion of CauchySequence of Structures in a similar way as rationalsare extending to real numbers by means of Cauchysequences of rationals. We show that the structurespace St is dense in thecomplete space CSt of Cauchysequences of structures and that CSt is compact in the (topo)logicalsense.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Alfredo Di Giorgio & Daniele Chiffi (eds.) (2013). Prova e Giustificazione. G. Giappichelli Editore.score: 27.0
    I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.score: 24.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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation