Back to Search
Start Over
Two Variations on the Theme of "Useful Four-Valued Logic".
- Source :
- Journal of Multiple-Valued Logic & Soft Computing; 2005, Vol. 11 Issue 3-4, p253-262, 10p
- Publication Year :
- 2005
-
Abstract
- In what follows two curious generalizations of four-element matrixes for first-degree relevant logic will be presented. The first part of the paper deals with the semantic consideration and algebraic analysis of inconsistent logic PR (P for paraconsistent, and R for relevant), to be result of combining matrixes for the system FDE with the matrix for classical implication. In the second part the variant of propositional logic with certain "non-monotonic" properties is considered. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15423980
- Volume :
- 11
- Issue :
- 3-4
- Database :
- Complementary Index
- Journal :
- Journal of Multiple-Valued Logic & Soft Computing
- Publication Type :
- Academic Journal
- Accession number :
- 17658586