What people are saying - Write a review
We haven't found any reviews in the usual places.
Routes in Relevant Logic
The Relevance of Relevant Logics
20 other sections not shown
Other editions - View all
A V B analytic implication Anderson and Belnap antecedent apply argument assertion axioms Barcan Formula belief classical logic commitment condition conjunction conjunctive normal form connectives consequent contains deduction defined definition derived discourse Disjunctive Syllogism drunk equivalent example expression f-clauses fact formal formula function functors given Hence holds inconsistent inference intensional interpretation intuitionism intuitionistic intuitions lemma Martha mathematics meaning modal logic modus ponens natural deduction natural language negation normal form notions occur paraconsistent paradoxes philosophical possible worlds postulates pragmatic predicate premisses principles problem proof propositions provable quantifiers Rabc relation relevant enterprise relevant implication relevant logicians relevant logics relevantly restrictions result Routley and Meyer rule schemata semantics sentence sentential sentential logic speaker speech acts strict implication suppose syntactical T-sentences tautological entailment theorem true truth theory truth-functional valid valuation variables