Paraconsistent logic

type of formal logic without explosion principle

inference rule in logics : with "A or B" and "not A" deduce "B"

Professor and researcher of the Brazilian Research Council

British philosopher, born 1948

mathematical logic system that imposes certain restrictions on implication

Polish logician and philosopher (1906-1965)

Brazilian philosopher and mathematician

inference introducing a disjunction in logical proofs