Zobrazeno 1 - 10
of 103
pro vyhledávání: '"Beth definability"'
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:
CAMPERCHOLI, MIGUEL
Publikováno v:
The Journal of Symbolic Logic, 2018 Mar 01. 83(1), 40-54.
Externí odkaz:
https://www.jstor.org/stable/26600306
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:
José-de-Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena
Publikováno v:
Electronic Notes in Theoretical Computer Science. 354:3-16
The Craig Interpolation Theorem is a well-known property in the mathematical logic curricula, with many domain applications, such as in the modularization of formal specifications and ontologies. This property states the following: given an implicati
Autor:
Tim Henke, Nick Bezhanishvili
Publikováno v:
Journal of Logic and Computation, 30(7), 1331-1355. Oxford University Press
The celebrated van Benthem characterization theorem states that on Kripke structures modal logic is the bisimulation-invariant fragment of first-order logic. In this paper, we prove an analogue of the van Benthem characterization theorem for models b
Autor:
Aiguier, M., Barbier, F.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2007 Apr 01. 85(3), 333-359.
Externí odkaz:
https://www.jstor.org/stable/40210777
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:
Blok, W. J., Hoogland, Eva
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2006 Jun 01. 83(1/3), 49-90.
Externí odkaz:
https://www.jstor.org/stable/20016799
Autor:
Jacob Garber
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030714291
The Beth Definability Property holds for an algebraizable logic if and only if every epimorphism in the corresponding category of algebras is surjective. Using this technique, Urquhart in 1999 showed that the Beth Definability Property fails for a wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14fe8924c4f60b3904f88b1377e765e2
https://doi.org/10.1007/978-3-030-71430-7_5
https://doi.org/10.1007/978-3-030-71430-7_5