×

zbMATH — the first resource for mathematics

The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz. (English) Zbl 0418.03037

MSC:
03F05 Cut-elimination and normal-form theorems
03B50 Many-valued logic
03E35 Consistency and independence results
03E65 Other set-theoretic hypotheses and axioms
03F25 Relative consistency and interpretations
PDF BibTeX XML Cite
Full Text: DOI