Kalküle, in denen es nicht möglich ist, aus einem Widerspruch jede Aussage herzuleiten
Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).