Switch to: Citations

Add references

You must login to add references.
  1. Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
    We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.
    Direct download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   97 citations