Relevant paraconsistent logic
Relevant paraconsistent logic

Summary/Abstract: Roman Tuziak in his Logika sprzeczności. Uwagi o logice parakonsystentnej (hereafter: Tuziak, 2019) describes the first system of propositional paraconsistent calculus constructed by Stanisław Jaśkowski in 1948. In order to examine inconsistent situations he intended to find a system of calculus which: 1) when applied to the contradictory systems would not always entail their overcompleteness (i.e. triviality), 2) would be rich enough to enable practical inference, 3) would have an intuitive justification.

• Details
• Contents