Wedge Sum, Merge and Inconsistency

DOI10.1007/978-3-319-29300-4_3zbMath1439.03065OpenAlexW2462986030MaRDI QIDQ3305419

Chris Mortensen

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_3

zbMATH Keywords

logical theorieswedge sumLeibniz lawmergeinconsistent theory

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Inconsistent models for relevant arithmetics

This page was built for publication: Wedge Sum, Merge and Inconsistency