Switch to: Citations

Add references

You must login to add references.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Free l-algebras.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):475-480.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Computing coproducts of finitely presented Gödel algebras.Ottavio M. D’Antona & Vincenzo Marra - 2006 - Annals of Pure and Applied Logic 142 (1):202-211.
    We obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i.e. Heyting algebras satisfying the prelinearity axiom =1. We achieve this result using ordered partitions of finite sets as a key tool to investigate the category opposite to finitely generated Gödel algebras . We give two applications of our main result. We prove that finitely presented Gödel algebras have free products with amalgamation; and we easily obtain a recursive formula for the cardinality of the free Gödel algebra (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations