Category: Paraconsistent logic

Dual-intuitionistic logic
No description available.
Disjunctive syllogism
In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjuncti
Brazilian logic
No description available.
Relevance logic
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substr
Paraconsistent mathematics
Paraconsistent mathematics, sometimes called inconsistent mathematics, represents an attempt to develop the classical infrastructure of mathematics (e.g. analysis) based on a foundation of paraconsist
Paraconsistent deduction theorem
No description available.
Paraconsistent logic
A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studyi
Disjunction introduction
Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system. The rule makes it possible to introduce disjun
Stanisław Jaśkowski
Stanisław Jaśkowski (22 April 1906, in Warsaw – 16 November 1965, in Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasi