4 found
Order:
  1.  31
    An analysis of the logic of Riesz spaces with strong unit.Antonio Di Nola, Serafina Lapenta & Ioana Leuştean - 2018 - Annals of Pure and Applied Logic 169 (3):216-234.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  34
    Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
    The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved for this system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  61
    Algebra and Probability in Many-Valued Reasoning.Ioana Leuştean & Vincenzo Marra - 2010 - Studia Logica 94 (2):147-150.
  4.  18
    A General View on Normal Form Theorems for Łukasiewicz Logic with Product.Ioana Leuştean & Serafina Lapenta - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 215-228.
    Direct download  
     
    Export citation  
     
    Bookmark