paraconsistent

paraconsistent
Tolerant towards inconsistencies.

Wikipedia foundation.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Paraconsistent mathematics — (sometimes called inconsistent mathematics) represents an attempt to develop the classical infrastructure of mathematics (e.g. analysis) based on a foundation of paraconsistent logic instead of classical logic. A number of interesting… …   Wikipedia

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B …   Wikipedia

  • Walter Carnielli — Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher of international recognition, full professor of Logic at the State University of Campinas (UNICAMP). With a… …   Wikipedia

  • Dialethismus — 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… …   Deutsch Wikipedia

  • Parainkonsistente Logik — 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… …   Deutsch Wikipedia

  • Parakonsistente Logik — 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… …   Deutsch Wikipedia

  • Lógica paraconsistente — Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos… …   Wikipedia Español

  • Jean-Yves Béziau — (born January 15, 1965 in Orléans, France) is an assistant professor and researcher at the Institute of Logic of the University of Neuchâtel, Switzerland. A former student of (and frequent collaborator with) Newton da Costa, he works in the field …   Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”