Journal of Logic and Computation Advance Access published online on October 20, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp068
Original Papers |
Relevance and Conjunction
Philosophy and Centre for Logic, Language, and Computation, Victoria University of Wellington, PO Box 600, Wellington, New Zealand.
E-mail: edwin.mares{at}vuw.ac.nz
Received 1 June 2008.
| Abstract |
|---|
This article gives an interpretation and justification of extensional and intensional conjunction in the relevant logic R. The interpretive frameworks are Anderson and Belnap's natural deduction system and the theory of situated inference from Mares, Relevant Logic.
Keywords: Logic; relevant logic; philosophical logic; proof theory