Zobrazeno 1 - 10
of 966
pro vyhledávání: '"Monoidal t-norm logic"'
Autor:
Eunsuk Yang
Publikováno v:
CHUL HAK SA SANG : Journal of Philosophical Ideas. 78:111-126
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f25a6dcae39321d412cd3c49ff0dd562
https://doi.org/10.15750/chss.78.202011.004
https://doi.org/10.15750/chss.78.202011.004
Autor:
Gispert, Joan, Torrens, Antoni
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2005 Dec 01. 81(3), 311-324.
Externí odkaz:
https://www.jstor.org/stable/20016753
Publikováno v:
Leibniz International Proceedings in Informatics, LIPIcs 83 (2017)
Article
Article
Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity bounds for both problems, c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3b9118b45152cdf3ce1c7d1c4de3388
https://doi.org/10.1093/logcom/exz008
https://doi.org/10.1093/logcom/exz008
Publikováno v:
Logica Universalis. 11:507-524
The authors of Beziau and Franceschetto (New directions in paraconsistent logic, vol 152, Springer, New Delhi, 2015) work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Beziau and F
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa3e6cf5eac47da9e1fe1edb67e61049
https://doi.org/10.1007/s11787-017-0182-3
https://doi.org/10.1007/s11787-017-0182-3
Publikováno v:
Journal of Computer and System Sciences. 88:53-74
Decidability of the validity problem is established for a family of many-valued modal logics, notably Godel modal logics, where propositional connectives are evaluated according to the order of values in a complete sublattice of the real unit interva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f419197747ba0735eb562b937a7272b1
https://doi.org/10.1016/j.jcss.2017.03.012
https://doi.org/10.1016/j.jcss.2017.03.012
Autor:
Tran Duc-Khanh, Nguyen Thi-Minh-Tam
Publikováno v:
Applied Mathematics & Information Sciences. 11:1317-1334
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68be2c2f3be77444f435c35efdbc95f4
https://doi.org/10.18576/amis/110509
https://doi.org/10.18576/amis/110509
Autor:
Edwin D. Mares
Publikováno v:
Synthese. 199:547-569
This paper extends the theory of situated inference from Mares (Relevant logic: a philosophical interpretation. Cambridge University Press, Cambrdge, 2004) to treat two weak relevant logics, B and DJ. These logics are interesting because they can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76216ccb2c5a2ec50c1a799d0e402c08
https://doi.org/10.1007/s11229-017-1524-7
https://doi.org/10.1007/s11229-017-1524-7
Publikováno v:
CHUL HAK SA SANG - Journal of Philosophical Ideas. :79-88
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e984e58092c7bb82d761b36c99a0895
https://doi.org/10.15750/chss...201708.004
https://doi.org/10.15750/chss...201708.004
Publikováno v:
Journal of Algebra. 483:429-474
There has been compelling evidence during the past decade that lattice-ordered groups (l-groups) play a far more significant role in the study of algebras of logic than it had been previously anticipated. Their key role has emerged on two fronts: Fir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d7b63b60cd3904e6c40daa8dae2c2de
https://doi.org/10.1016/j.jalgebra.2017.04.005
https://doi.org/10.1016/j.jalgebra.2017.04.005
Autor:
Eunsuk Yang
Publikováno v:
Fuzzy Sets and Systems. 320:1-16
This paper deals with the standard completeness of involutive non-associative, non-commutative, substructural fuzzy logics and their axiomatic extensions. First, fuzzy systems based on involutively residuated mianorms (binary monotonic identity aggre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe6e1a85000b16b8e6a862bd0b605dd1
https://doi.org/10.1016/j.fss.2017.03.013
https://doi.org/10.1016/j.fss.2017.03.013