Zobrazeno 1 - 10
of 1 169
pro vyhledávání: '"Monoidal t-norm logic"'
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2002 Jul 01. 71(2), 199-226.
Externí odkaz:
https://www.jstor.org/stable/20016429
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:
Petr Hájek
Publikováno v:
Fuzzy Sets and Systems. 132:107-112
The paper is a contribution to the theory of the monoidal t-norm based logic MTL and stronger logics analogous to the well-known extensions of the basic fuzzy logic (Lukasiewicz, Godel and product logic). Main attention is payed to the logic IIMTL (M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7e0e1b7dd3db472b30440524693f41f
https://doi.org/10.1016/s0165-0114(02)00057-x
https://doi.org/10.1016/s0165-0114(02)00057-x
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04781393486a0ea0f67d5def16cd7adf
http://www.scopus.com/inward/record.url?eid=2-s2.0-0042404641&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-0042404641&partnerID=MN8TOARS
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