Zobrazeno 1 - 10
of 89
pro vyhledávání: '"Awodey, S."'
We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a systematic way to organise complex diagrammatic reasoning and generalises
Externí odkaz:
http://arxiv.org/abs/2110.14576
Autor:
Awodey, S., Butz, C.
Publikováno v:
The Journal of Symbolic Logic, 2000 Sep 01. 65(3), 1168-1182.
Externí odkaz:
https://www.jstor.org/stable/2586693
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:
The Journal of Symbolic Logic, 2009 Sep 01. 74(3), 861-890.
Externí odkaz:
https://www.jstor.org/stable/40378098
Autor:
Awodey, S., Carus, A. W.
Publikováno v:
Synthese, 2007 Nov 01. 159(1), 23-45.
Externí odkaz:
https://www.jstor.org/stable/27653607
Autor:
Awodey, S., Carus, A. W.
Publikováno v:
Erkenntnis (1975-), 2001 Jan 01. 54(2), 145-172.
Externí odkaz:
https://www.jstor.org/stable/20013043
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:
Advances in Modal Logic: AiML 9, 1-17
STARTPAGE=1;ENDPAGE=17;TITLE=Advances in Modal Logic
STARTPAGE=1;ENDPAGE=17;TITLE=Advances in Modal Logic
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by tak
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::b28b8e14bc86ba6e25889234f3abdc2c
https://dare.uva.nl/personal/pure/en/publications/topological-completeness-of-firstorder-modal-logic(6061555f-cafd-4563-b76b-448cd9b0ae02).html
https://dare.uva.nl/personal/pure/en/publications/topological-completeness-of-firstorder-modal-logic(6061555f-cafd-4563-b76b-448cd9b0ae02).html