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

DOI10.1007/BF00258447MaRDI QIDQ755577zbMATH OpenOpenAlexWikidataFDO

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)

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

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)