Multimodal epistemic Łukasiewicz logics with application in immune system
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605470774 | ||
| 003 | CHVBK | ||
| 005 | 20210128100329.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20151101xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00500-015-1804-4 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00500-015-1804-4 | ||
| 245 | 0 | 0 | |a Multimodal epistemic Łukasiewicz logics with application in immune system |h [Elektronische Daten] |c [Antonio DiNola, Revaz Grigolia, Nunu Mitskevich] |
| 520 | 3 | |a 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. | |
| 540 | |a Springer-Verlag Berlin Heidelberg, 2015 | ||
| 690 | 7 | |a Agent |2 nationallicence | |
| 690 | 7 | |a Many-valued logic |2 nationallicence | |
| 690 | 7 | |a Epistemic logic |2 nationallicence | |
| 690 | 7 | |a Kripke model |2 nationallicence | |
| 700 | 1 | |a DiNola |D Antonio |u Department of Mathematics, University of Salerno, Fisciano, Italy |4 aut | |
| 700 | 1 | |a Grigolia |D Revaz |u Department of Mathematics, Iv. Javakhishvili Tbilisi State University, Tbilisi, Georgia |4 aut | |
| 700 | 1 | |a Mitskevich |D Nunu |u Department of Biology, Iv. Javakhishvili Tbilisi State University, Tbilisi, Georgia |4 aut | |
| 773 | 0 | |t Soft Computing |d Springer Berlin Heidelberg |g 19/11(2015-11-01), 3341-3351 |x 1432-7643 |q 19:11<3341 |1 2015 |2 19 |o 500 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00500-015-1804-4 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00500-015-1804-4 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a DiNola |D Antonio |u Department of Mathematics, University of Salerno, Fisciano, Italy |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Grigolia |D Revaz |u Department of Mathematics, Iv. Javakhishvili Tbilisi State University, Tbilisi, Georgia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Mitskevich |D Nunu |u Department of Biology, Iv. Javakhishvili Tbilisi State University, Tbilisi, Georgia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Soft Computing |d Springer Berlin Heidelberg |g 19/11(2015-11-01), 3341-3351 |x 1432-7643 |q 19:11<3341 |1 2015 |2 19 |o 500 | ||