Paraconsistent Logic: Essays on the Inconsistent |
Common terms and phrases
A₁ Abelian l-groups algebra approach argument Arruda axiomatization axioms B₁ behaves consistently Belnap biconditional C₁ classical logic Cm & Cm co-regular co-theory combinatory logic conjunction consequence contains contradiction contradictory Costa D₁ D₂ defined definition derivable dialethic discursive logic discussive disjunctive syllogism DPI-proof dynamic dialectical logics equivalent example fact fifth element finite formula Hegel Hence Heraclitus implication inconsistent theories intensional interpretation intuitionistic intuitionistic logic Jaśkowski l-groups lattice lemma logicians Łukasiewicz material implication modal logic modus ponens naive set theory negation non-trivial notion objects paracon paraconsistent logic paradoxes Philosophy position postulates predicate prime theory principle problem proof properties propositional calculus prove reason rejected relation relevant logics Routley RPEPL rules of inference satisfies second element semantics sense sentences set of premisses sistent Studia Logica suppose theorem things tion trivial valid valuation variables Vasil'év Wittgenstein