Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Steve Awodey"'
Autor:
Steve Awodey, Michał Heller
Publikováno v:
Zagadnienia Filozoficzne w Nauce, Vol 69, Pp 253-280 (2020)
The interaction between syntax (formal language) and its semantics (meanings of language) is one which has been well studied in categorical logic. The results of this particular study are employed to understand how the brain is able to create meaning
Externí odkaz:
https://doaj.org/article/7f742a53378f4cb993f60d1b0f5a7480
Autor:
Steve Awodey, Florian Rabe
Publikováno v:
Logical Methods in Computer Science, Vol Volume 7, Issue 3 (2011)
It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Simil
Externí odkaz:
https://doaj.org/article/1e399b84a9ca4037893a07a94c4b1c1a
Autor:
Steve Awodey
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, phil
Autor:
Steve Awodey, Greg Frost-Arnold
This volume contains Carnap's Studies in Semantics, a series of three interlocking books: Introduction to Semantics (1942), Formalization of Logic (1942), and Meaning and Necessity (1947). They were extremely influential in their time, especially the
Autor:
Steve Awodey
Publikováno v:
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ISBN: 9783030665449
The fundamental duality theories relating algebra and geometry that were discovered in the mid-twentieth century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4ee16008b1f1a84b0ade29712720967
https://doi.org/10.1007/978-3-030-66545-6_2
https://doi.org/10.1007/978-3-030-66545-6_2
Autor:
Steve Awodey
Publikováno v:
Indagationes Mathematicae. 29:1497-1510
It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of homotopy type t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3eb881f0f898b9f6a3704ef631d9583
https://doi.org/10.1016/j.indag.2018.01.011
https://doi.org/10.1016/j.indag.2018.01.011
Autor:
Steve Awodey
Publikováno v:
Mathesis Universalis, Computability and Proof ISBN: 9783030204464
The present paper investigates the use of impredicative methods for the construction of inductive types in homotopy type theory. Inductive types have been constructed impredicatively in other systems of type theory in the past, but these fail to have
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2cfccf52eb1d002773679e2d3285792f
https://doi.org/10.1007/978-3-030-20447-1_3
https://doi.org/10.1007/978-3-030-20447-1_3
Publikováno v:
LICS
Postulating an impredicative universe in dependent type theory allows System F style encodings of finitary inductive types, but these fail to satisfy the relevant {\eta}-equalities and consequently do not admit dependent eliminators. To recover {\eta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cd908d5518b33ebefa83c230181d55d
https://doi.org/10.1145/3209108.3209130
https://doi.org/10.1145/3209108.3209130
Autor:
Steve Awodey, Spencer Breiner
Publikováno v:
EPiC Series in Computing.
My research concerns a construction of "logical schemes," geometric entitieswhich represent logical theories in much the same way that algebraic schemesrepresent rings. These involve two components: a semantic spectral spaceand a syntactic structure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37fa8849a0c0fef65ace282fc171d027
https://doi.org/10.29007/8l5l
https://doi.org/10.29007/8l5l
Publikováno v:
EPiC Series in Computing.
Topos-theoretic semantics for modal logic usually considers structures induced by a surjective geometric morphism f : F → E . f restricts to an injective (complete) distributive lattice homomorphism ∆A : SubE(A) −→ SubF (f∗A), for each A in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1a2a9fdc5495e527de9efccd65ed544
https://doi.org/10.29007/nv5m
https://doi.org/10.29007/nv5m