Leibniz's law and its paraconsistent models

2020/07/20 by Aldo Figallo-Orellano, Figallo-Orellano, Aldo
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2007.11958

openalex publication_date 2020/07/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.

Related

• Leibniz's law and paraconsistent models of ZFC
• Paraconsistent models of Zermelo-Fraenkel set theory
• Leibniz's Principles and Topological Extensions
• 'BY LEIBNIZ'S LAW': REMARKS ON A FALLACY
• Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania