The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz

DOI10.1007/BF00258447zbMath0418.03037OpenAlexW2092160200WikidataQ114694826 ScholiaQ114694826MaRDI QIDQ755577

Richard B. White

Publication date: 1979

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00258447

zbMATH Keywords

consistencyaxiom of comprehensioninfinite- valued predicate Lukasiewicz logicnormalization of proofs

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Consistency and independence results (03E35) Many-valued logic (03B50) Other set-theoretic hypotheses and axioms (03E65) Relative consistency and interpretations (03F25)

Related Items

Paths to triviality ⋮ Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ Fuzzy class theory ⋮ Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic ⋮ EPISTEMIC PERSPECTIVE—ACT—PARADIGM ⋮ Introduction ⋮ The simple consistency of naive set theory using metavaluations ⋮ REPLY TO BJØRDAL ⋮ Extensionality and restriction in naive set theory ⋮ Routes to triviality ⋮ Triangular norm based predicate fuzzy logics ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ Gentzenization and decidability of some contraction-less relevant logics ⋮ Variations on a theme of Curry ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ How to be really contraction free