×

Multimodal epistemic Łukasiewicz logics with application in immune system. (English) Zbl 1382.03046

Summary: We offer a new logic, a multimodal epistemic Łukasiewicz logic, which is an extension of the infinitely valued Łukasiewicz logic, the language of the logic is an extended by unary connectives that are interpreted as modal operators (knowledge operators). We propose the use such a logic in studying immune system. A relational system is developed as a semantic of this logic. The relational systems represent the immune system which in its turn is a part of relational biology.

MSC:

03B50 Many-valued logic
03B42 Logics of knowledge and belief (including belief change)
92C50 Medical applications (general)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Belluce LP, Grigolia R, Lettieri A (2005) Representations of monadic MV-algebras. Stud. Log. 81:125-144 · Zbl 1093.06008
[2] Blackburn P, de Rijke M, Venema Y (2001) Modal logic. In: Cambridge tracts in theoretical computer science, vol 53. Cambridge University Press, Cambridge · Zbl 0988.03006
[3] Bou F, Esteva F, Godo L, Rodríguez R \[(2007) n\] n-Łukasiewicz modal logic. Manuscript
[4] Caicedo X, Rodríguez R (2007) A Gödel similarity based modal logic, Manuscript. A shortened version was published as A Gödel modal logic. In: Proceedings of logic, computability and randomness 2004. Cordoba, Argentina · Zbl 1052.06010
[5] Chagrov A, Zakharyaschev M (1997) Modal logic. In: Oxford logic guides, vol 35. Oxford University Press, Oxford · Zbl 0871.03007
[6] Di Nola A, Grigolia R (2004) On monadic MV-algebras. APAL 128(1-3):125-139 · Zbl 1052.06010
[7] Fitting M (1992a) Many-valued modal logics. Fundam Inform 15:235-254 · Zbl 0745.03018
[8] Fitting M (1992b) Many-valued modal logics, II. Fundam Inform 17:55-73 · Zbl 0772.03006
[9] Häggström M (2014) Medical gallery of Mikael Hggstrm 2014. Wikiversity J Med 1(2). doi:10.15347/wjm/2014.008. ISSN 20018762
[10] Hajek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht · Zbl 0937.03030 · doi:10.1007/978-94-011-5300-3
[11] Hansoul G, Teheux B (2006) Completeness results for many-valued Łukasiewicz modal systems and relational semantics. Available at arXiv:math/0612542
[12] Koutras CD (2003) A catalog of weak many-valued modal axioms and their corresponding frame classes. J Appl Non-Class Log 13(1):4772 · Zbl 1185.03031 · doi:10.3166/jancl.13.47-71
[13] Li MO, Wan YY, Flavell RA (2007) T cell-produced transforming growth factor-1 controls T cell tolerance and regulates Th1- and Th17-cell differentiation. Immunity 26(5):579-591 · doi:10.1016/j.immuni.2007.03.014
[14] Luckheeram RV, Zhou R, Verma AD, Xia B (2012) CD4+T cells: differentiation and functions. Clin Dev Immunol 2012:12. doi:10.1155/2012/925135 · Zbl 1185.03031
[15] Mironov AM (2005) Fuzzy modal logics. J Math Sci 128(6):3461-3483 · Zbl 1072.03016 · doi:10.1007/s10958-005-0281-1
[16] Ostermann P (1988) Many-valued modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34(4):343-354 · Zbl 0661.03011 · doi:10.1002/malq.19880340411
[17] Porter T (2003) Geometric aspects of multiagent systems. In: Electronic notes in theoretical computer science, vol 81. http://www.elsevier.nl/locate/entcs/volume81.html · Zbl 1270.68221
[18] Rang HP (2003) Pharmacology. Churchill Livingstone, Edinburgh, p 223. ISBN: 0-443-07145-4
[19] Rashevsky N (1972) Organismic sets. J.M. Richards Lab, Grosse-Pointe Park, MI · Zbl 0164.50703
[20] Rosen R (1958a) A relational theory of biological systems. Bull Math Biophys 20:245-260
[21] Rosen R (1958b) The representation of biological systems from the standpoint of the theory of categories. Bull Math Biophys 20:317-342
[22] Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus. PhD Thesis, Cornell University
[23] Suzuki NY (1997) Kripke frame with graded accessibility and fuzzy possible world semantics. Stud Log 59(2):249269 · Zbl 0882.03016 · doi:10.1023/A:1004956418185
[24] Tao X, Constant S, Jorritsma P, Bottomly K (1997) Strength of TCR signal determines the costimulatory requirements for Th1 and Th2 CD \[4^+\]+ T cell differentiation. J Immunol 159(12):5956-5963
[25] Trinchieri G, Pflanz S, Kastelein RA (2003) The IL-12 family of heterodimeric cytokines: new players in the regulation of T cell responses. Immunity 19(5):641-644 · doi:10.1016/S1074-7613(03)00296-6
[26] Woodger H (1937) The axiomatic method in biology. Cambridge University Press, Cambridge · JFM 63.0827.02
[27] Yagi H, Nomura T, Nakamura K et al (2004) Crucial role of FOXP3 in the development and function of human CD \[25^+\]+CD \[4^+\]+ regulatory T cells. Int Immunol 16(11):1643-1656 · doi:10.1093/intimm/dxh165
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.