scientific article; zbMATH DE number 4039858

MaRDI QIDQ3778720zbMATH OpenFDO

Authors John K. Slaney

Publication date 1987

zbMATH Keywords

consistencypropositional quantificationantinomiesŁukasiewicz algebrascontinuum-valued logicpropositional comprehension

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Recommendations

• On White's expansion of Łukasiewicz logic
• Semantics for naive set theory in many-valued logics. Technique and historical account.
• Curry's paradox in contractionless constructive logic
• Comprehension contradicts to the induction within Łukasiewicz predicate logic
• Naive set theory with extensionality in partial logic and in paradoxical logic

Cited in

(4)

• On White's expansion of Łukasiewicz logic
• Variations on a theme of Curry
• Simplified Axiom Schemes for Implication and Iterated Implication
• Semantics for naive set theory in many-valued logics. Technique and historical account.

This page was built for publication:

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