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

DOI10.1007/BF00258447zbMATH Open0418.03037OpenAlexW2092160200WikidataQ114694826 ScholiaQ114694826MaRDI QIDQ755577FDOQ755577

Authors: 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

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

Cited In (16)

• Routes to triviality
• Variations on a theme of Curry
• EPISTEMIC PERSPECTIVE—ACT—PARADIGM
• Paths to triviality
• Non-monotonic set theory as a pragmatic foundation of mathematics
• The simple consistency of naive set theory using metavaluations
• Gentzenization and decidability of some contraction-less relevant logics
• Reply to Bjørdal
• Extensionality and restriction in naive set theory
• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
• How to be really contraction free
• Fuzzy class theory
• Triangular norm based predicate fuzzy logics
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Introduction
• Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches

This page was built for publication: The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q755577)