ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Electronic Resource
    Electronic Resource
    Fuzzy Logic and Arithmetical Hierarchy, II (1997)
    Springer
    Studia logica 58 (1997), S. 129-141 
    Details
    ISSN: 1572-8730
    Keywords: fuzzy logic ; many-valued logic ; undecidability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1004948116720
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...