What people are saying - Write a review
We haven't found any reviews in the usual places.
A Preliminary History
Elements of paraconsistent thinking in Eastern
paraconsistent approaches through
79 other sections not shown
admissible sentences algebra antinomic antinomic number approach argument Aristotle Arruda axiom axiomatization classical logic co-regular co-theory combinatory logic conjunction consequence consistent constant terms contains contradiction contradictory Costa defined definition derivable designated occurrences determining set dialectical set theory dialethic discursive logic discussive disjunctive syllogism dynamic dialectical logics equivalent example extensional fact fifth element finite formula Hegel Hence Heraclitus implication inconsistent theories induction inference initial sentences interpretation intuitionistic intuitionistic logic Jaskowski l-groups lattice Lemma logicians Lukasiewicz mathematics modal logic modus ponens naive set theory negation non-trivial notion objects ordinal paracon paraconsistent logic paradoxes philosophical position postulates predicate premisses prime theory principle problem proof properties propositional calculus provable prove reason rejected relation relevant logics rM3Q Routley rpepl rules satisfies semantics sense sentential constant sistent successor ordinal suppose theorem things tion trivial truth valid valuation variables Vasil'ev Wittgenstein