Results for 'Francesc Esteva'

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.  13
    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  
  3. 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