- Fields of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- Paraconsistent logic

- Formal theories
- >
- Formal systems
- >
- Systems of formal logic
- >
- Paraconsistent logic

- Mathematical logic
- >
- Formal systems
- >
- Systems of formal logic
- >
- Paraconsistent logic

- Metalogic
- >
- Formal systems
- >
- Systems of formal logic
- >
- Paraconsistent logic

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- 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

© 2023 Useful Links.