Propositional logic extended with a pedagogically useful relevant implication
- Author
- Diderik Batens (UGent)
- Organization
- Abstract
- First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.
- Keywords
- relevant implication, classical logic
Downloads
-
PCR2012.pdf
- full text
- |
- open access
- |
- |
- 198.79 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-5675543
- MLA
- Batens, Diderik. “Propositional Logic Extended with a Pedagogically Useful Relevant Implication.” LOGIC AND LOGICAL PHILOSOPHY, vol. 23, no. 3, 2014, pp. 245–76, doi:10.12775/LLP.2013.021.
- APA
- Batens, D. (2014). Propositional logic extended with a pedagogically useful relevant implication. LOGIC AND LOGICAL PHILOSOPHY, 23(3), 245–276. https://doi.org/10.12775/LLP.2013.021
- Chicago author-date
- Batens, Diderik. 2014. “Propositional Logic Extended with a Pedagogically Useful Relevant Implication.” LOGIC AND LOGICAL PHILOSOPHY 23 (3): 245–76. https://doi.org/10.12775/LLP.2013.021.
- Chicago author-date (all authors)
- Batens, Diderik. 2014. “Propositional Logic Extended with a Pedagogically Useful Relevant Implication.” LOGIC AND LOGICAL PHILOSOPHY 23 (3): 245–276. doi:10.12775/LLP.2013.021.
- Vancouver
- 1.Batens D. Propositional logic extended with a pedagogically useful relevant implication. LOGIC AND LOGICAL PHILOSOPHY. 2014;23(3):245–76.
- IEEE
- [1]D. Batens, “Propositional logic extended with a pedagogically useful relevant implication,” LOGIC AND LOGICAL PHILOSOPHY, vol. 23, no. 3, pp. 245–276, 2014.
@article{5675543,
abstract = {{First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.}},
author = {{Batens, Diderik}},
issn = {{1425-3305}},
journal = {{LOGIC AND LOGICAL PHILOSOPHY}},
keywords = {{relevant implication,classical logic}},
language = {{eng}},
number = {{3}},
pages = {{245--276}},
title = {{Propositional logic extended with a pedagogically useful relevant implication}},
url = {{http://doi.org/10.12775/LLP.2013.021}},
volume = {{23}},
year = {{2014}},
}
- Altmetric
- View in Altmetric