ŁC, LC를 위한 루트리-마이어 의미론
Routley-Meyer Semantics for C and LC
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Abstract
In this paper, we provide Routley-Meyer semantics for the many-valued logics ŁC and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ŁC and LC does not (partially) result in "paradoxes of material implication". 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ŁC and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".
참고문헌 (12)
- Anderson, A. R, "Entailment: The Logic of Relevance and Necessity, vol {1}" (1975), Princeton, Princeton Univ. Press
- Anderson, A. R, "Entailment: The Logic of Relevance and Necessity, vol 2" (1992), Princeton, Princeton Univ. Press
- Dunn, J. M, "Relevance logic and entailment (Handbook of Philosophical Logic, vol III)", pp.117~224 (1986), Dordrecht, D. Reidel Publ. Co.
- Dunn, J. M, "Partiality and its Dual", Studia Logica, 66, pp.5~40 (2000)
- Dunn, J. M, "Algebraic Methods in Philosophical Logic" (2001), Oxford, Oxford Univ Press
- Hájek, P, "Metamathematics of Fuzzy Logic" (1998), Amsterdam, Kluwer
- Restall, G, "An Introduction to Substructural Logics" (2000), London, Routledge
- Routley, R, "The semantics of entailment (II)", Journal of Philosophical Logic, 1, pp.55~73 (1972)
- Routley, R, "The semantics of entailment (III)", Journal of Philosophical Logic, 1, pp.192~208 (1972)
- Routley, R, "The semantics of entailment (I) (Truth, Syntax, and Modality)", pp.199~243 (1973), Amsterdam, North-Holland Publ. Co.
- Urquhart, A, "Many-valued logic (Handbook of Philosophical Logic, vol. III)", pp.71~116
- Yang, E, "T-R, TE-R, TEc-R", Bulletin of the Section of Logic, 31(3), pp.171~181 (2002)