Leibniz's law and its paraconsistent models
Aldo Figallo-Orellano
TL;DR
This paper explores how Leibniz's Law can be used to develop models for Paraconsistent Set Theories, highlighting its significance in handling contradictions within set theory.
Contribution
It introduces a novel approach to modeling Paraconsistent Set Theories using Leibniz's Law, bridging classical logic principles with paraconsistent logic.
Findings
Leibniz's Law can be adapted for paraconsistent models
New models support consistent reasoning in contradictory contexts
The approach enhances understanding of set theories with contradictions
Abstract
This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Mathematical and Theoretical Analysis · Logic, Reasoning, and Knowledge