Back to matchesWe found a matchYour institution may have rights to this item. Sign in to continue.TitleFuzzy Logic and Arithmetical Hierarchy, II.AuthorsHájek, PetrAbstractA very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.PublicationStudia Logica, 1997, Vol 58, Issue 1, p129ISSN0039-3215Publication typeArticleDOI10.1023/A:1004948116720