Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
スポンサーリンク
概要
- 論文の詳細を見る
This paper proposes a new relevant logic B-(sic)(+), which is obtained by adding two binary connectives, intensional conjunction (sic) and intensional disjunction (sic), to Meyer-Routley minimal positive relevant logic B+, where (sic) and (sic) are weaker than fusion o and fission +, respectively. We give Kripke-style semantics for B-(sic)(+), with ->, (sic) and (sic) modelled by ternary relations. We prove the soundness and completeness of the proposed semantics. A number of axiomatic extensions of B-(sic)(+), including negation-extensions, are also considered, together with the corresponding semantic conditions required for soundness and completeness to be maintained.
- Cambridge University Pressの論文
- 2008-02-00
Cambridge University Press | 論文
- Sequence analysis of porcine polymeric immunoglobulin receptor from mammary epithelial cells present in colostrum
- 土木工学のコアとは何か
- Fruit, vegetable and bean intake and mortality from cardiovascular disease among Japanese men and women : the JACC Study
- Intracellular production of adrenal renin in the fetal mouse. An immuno-electron microscopic study
- Retinol binding protein 4 in dairy cows : its presence in colostrum and alteration in plasma during fasting, inflammation, and the peripartum period