Switch to: References

Citations of:

Bemerkungen zum Komprehensionsaxiom

Thoralf Skolem, C. C. Chang & Jens Erik Fenstad

Journal of Symbolic Logic 32 (1):128-129 (1967)

Add citations

You must login to add citations.

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details This book explores the interplay between logic and science, describing new trends, new issues and potential research developments. Download Export citation Bookmark 2 citations
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details Download Export citation Bookmark 4 citations
The consistency of the axiom of comprehension in the infinite-valued predicate logic of łukasiewicz.Richard B. White - 1979 - Journal of Philosophical Logic 8 (1):509 - 534.details Download Export citation Bookmark 29 citations
Semantics for Naive Set Theory in Many-Valued Logics.Thierry Libert - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 121--136.details Download Export citation Bookmark
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.details Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent. Download Export citation Bookmark 12 citations

1