scientific article; zbMATH DE number 4039858

zbMATH Open0638.03020MaRDI QIDQ3778720FDOQ3778720

Authors: John K. Slaney 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

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)