Back to Search
Start Over
BILATERAL RELEVANT LOGIC.
- Source :
-
Review of Symbolic Logic . Jun2014, Vol. 7 Issue 2, p250-272. 23p. - Publication Year :
- 2014
-
Abstract
- The article examines a Bilateral proof-theory of Relevant Logic which is based on a bilateral natural-deduction proof system. It reificates the theoretically determined meaning of logical constant. It also evaluates the natural deduction presentation of the implications of intuitionistic propositional logic.
- Subjects :
- *RELEVANCE logic
*LOGIC
*PROPOSITION (Logic)
*EVIDENCE
*PHILOSOPHY
Subjects
Details
- Language :
- English
- ISSN :
- 17550203
- Volume :
- 7
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Review of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 96313339
- Full Text :
- https://doi.org/10.1017/S1755020314000082