Zobrazeno 1 - 10
of 44
pro vyhledávání: '"combination of logics"'
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 321-344 (2024)
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely c
Externí odkaz:
https://doaj.org/article/86ac79893bf249ad92fcbf0865ec8435
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.
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.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1997 Sep 01. 59(2), 217-247.
Externí odkaz:
https://www.jstor.org/stable/20015936
Autor:
Blackburn, Patrick, de Rijke, Maarten
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1997 Jul 01. 59(1), 5-27.
Externí odkaz:
https://www.jstor.org/stable/20015923
Publikováno v:
Journal of Logic, Language, and Information, 1996 Oct 01. 5(3/4), 387-422.
Externí odkaz:
https://www.jstor.org/stable/40180168
Autor:
Gian Luca Pozzato, Antonio Lieto
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030018504
ISMIS
ISMIS
We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality \(\mathcal {ALC}+\
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::164beb7f2db10e8fb5ce19827d39b021
https://doi.org/10.1007/978-3-030-01851-1_19
https://doi.org/10.1007/978-3-030-01851-1_19
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.