Zobrazeno 1 - 10
of 970
pro vyhledávání: '"abstract model theory"'
Autor:
Russell, Gillian K., author
Publikováno v:
Barriers to Entailment : Hume's Law and other Limits on Logical Consequence, 2023.
Externí odkaz:
https://doi.org/10.1093/oso/9780192874733.003.0005
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:
Diaconescu, Răzvan
Publikováno v:
Logics; Volume 1; Issue 2; Pages: 80-96
The extension of the (ordinary) institution theory of Goguen and Burstall, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of models. Stratified insti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c7103df02dfed3aefc8aa9ae75c4070
https://doi.org/10.3390/logics1020005
https://doi.org/10.3390/logics1020005
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.
Autor:
Uwe Wolter
Publikováno v:
Mathematics, Vol 10, Iss 7, p 1085 (2022)
Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, underlying graph of a sketch
Externí odkaz:
https://doaj.org/article/004b84e7ff584eb6943fefce0c6f9d13
Autor:
Väänänen, Jouko
Publikováno v:
The Bulletin of Symbolic Logic, 2004 Mar 01. 10(1), 37-53.
Externí odkaz:
https://www.jstor.org/stable/3138361
Autor:
LIEBERMAN, M., ROSICKÝ, J.
Publikováno v:
The Journal of Symbolic Logic, 2017 Sep 01. 82(3), 1022-1040.
Externí odkaz:
https://www.jstor.org/stable/26600271
Autor:
Hyttinen, Tapani, Lessmann, Olivier
Publikováno v:
The Journal of Symbolic Logic, 2002 Dec 01. 67(4), 1469-1482.
Externí odkaz:
https://www.jstor.org/stable/3648582