Results for 'Francesc Esteva'

4 found
Order:
  1. Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. On the expressive power of Łukasiewicz square operator.Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio & Lluis Godo - forthcoming - Journal of Logic and Computation.
    The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  98
    Metafísica del ser y de la vida en Santo Tomás.Francesc Torralba Roselló - 1993 - Revista Española de Filosofía Medieval 1:239-250.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Natural perspective.Francesc Casanellas - manuscript
    A comparaison between classical cavalier persepective and what really we see, called "natural perspective. A simple mathematical analysis is added.
    Download  
     
    Export citation  
     
    Bookmark