Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Thierry Libert"'
Autor:
Thierry Libert
Publikováno v:
MLQ. 54:410-434
We show that the untyped λ -calculus can be extended with Frege's interpretation of propositional notions, provided we restrict β -conversion to positive expressions. The system of illative λ -calculus so obtained admits a natural Scott-style sema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d86574c0ef4a0904409ce4cd0600e344
https://doi.org/10.1002/malq.200710053
https://doi.org/10.1002/malq.200710053
Autor:
Thierry Libert, Olivier Esser
Publikováno v:
MLQ. 51:263-273
This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afb6dd2d0ed5df44a86a925ba677b3c3
https://doi.org/10.1002/malq.200410026
https://doi.org/10.1002/malq.200410026
Publikováno v:
Sets and Extensions in the Twentieth Century
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb1f22096a9b4984fa95f321ccfd3e2c
https://doi.org/10.1016/b978-0-444-51621-3.50008-6
https://doi.org/10.1016/b978-0-444-51621-3.50008-6
Autor:
Thomas Forster, Thierry Libert
Publikováno v:
Notre Dame J. Formal Logic 52, no. 1 (2011), 1-19
We present an order-theoretic analysis of set-theoretic paradoxes. This analysis will show that a large variety of purely set-theoretic paradoxes (including the various Russell paradoxes as well as all the familiar implementations of the paradoxes of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30e080be27f7d876850221873e0f471d
http://projecteuclid.org/euclid.ndjfl/1292249607
http://projecteuclid.org/euclid.ndjfl/1292249607
Autor:
Peter Apostoli, Mark Balaguer, Daniel Bonevac, David Bostock, Mark Colyvan, James Franklin, W.D. Hart, Roland Hinnion, Jaakko Hintikka, Andrew D. Irvine, Akira Kanda, Akihiro Kanamori, Thierry Libert, Charles McCarty, Chris Mortensen, Wilfried Sieg, Peter Simons, Mary Tiles, Jon Williamson
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28061db1a448effa0b822f233c74895b
https://doi.org/10.1016/b978-0-444-51555-1.50004-3
https://doi.org/10.1016/b978-0-444-51555-1.50004-3
Autor:
Thierry Libert, Roland Hinnion
Publikováno v:
Notre Dame J. Formal Logic 49, no. 1 (2008), 39-53
We state the consistency problem of extensional partial set theory and prove two complementary results toward a definitive solution. The proof of one of our results makes use of an extension of the topological construction that was originally applied
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6aefde6106949c9051a8f1299774195
https://doi.org/10.1215/00294527-2007-002
https://doi.org/10.1215/00294527-2007-002
Autor:
Thierry Libert
Publikováno v:
The Age of Alternative Logics ISBN: 9781402050114
It must be admitted that mathematical investigations in providing alternative semantics have carried innovative ideas, and if all have not led to further developments and applications, they have often led to a better understanding of the topic consid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3b91a7f13002a4bc0abda8b6e3f233b
https://doi.org/10.1007/978-1-4020-5012-7_9
https://doi.org/10.1007/978-1-4020-5012-7_9
Autor:
Thierry Libert
Publikováno v:
Logic and Logical Philosophy. 11
In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two different techniques to construct models of such set theories. The first of these is an adaptation of one used to construct classical models of positive c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24b4b59100d390d0ffbdafa6d8ad4e4f
https://doi.org/10.12775/llp.2003.005
https://doi.org/10.12775/llp.2003.005
Autor:
Thierry Libert, Roland Hinnion
Publikováno v:
J. Symbolic Logic 68, iss. 3 (2003), 828-836
It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a well-known set theory based on an extended positive com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0b939da600d93001c09836f6aed6ac3
http://projecteuclid.org/euclid.jsl/1058448441
http://projecteuclid.org/euclid.jsl/1058448441