Switch to: Citations

Add references

You must login to add references.
  1. Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
    A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations