Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Robert Paßmann"'
Autor:
Benno van den Berg, Robert Passmann
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)
In this paper we try to find a computational interpretation for a strong form of extensionality, which we call "converse extensionality". Converse extensionality principles, which arise as the Dialectica interpretation of the axiom of extensionality,
Externí odkaz:
https://doaj.org/article/2514bb8b52dd440eadaabb57821a37e8
Autor:
Rosalie Iemhoff, Robert Passmann
Publikováno v:
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 381
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b35e4f76c064be81273df41a0ee4733a
https://doi.org/10.1098/rsta.2022.0018
https://doi.org/10.1098/rsta.2022.0018
Autor:
Robert Passmann
Publikováno v:
Synthese, 199(5-6), 12663-12682. Springer Netherlands
Funder: studienstiftung des deutschen volkes; doi: http://dx.doi.org/10.13039/501100004350
Funder: Prins Bernhard Cultuurfonds
How many correct logics are there? Monists endorse that there is one, pluralists argue for many, and nihilists cl
Funder: Prins Bernhard Cultuurfonds
How many correct logics are there? Monists endorse that there is one, pluralists argue for many, and nihilists cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbee5ca3d116d1894198184908de4ded
https://doi.org/10.1007/s11229-021-03348-5
https://doi.org/10.1007/s11229-021-03348-5
Autor:
Rosalie Iemhoff, Robert Passmann
Publikováno v:
Annals of Pure and Applied Logic, 172(10):103014. Elsevier
We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP , and show that the first-order logic of IKP is intuitionistic first-order logic IQC.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d898fa5ef0192d9e2640805bc9933c6a
https://dare.uva.nl/personal/pure/en/publications/logics-of-intuitionistic-kripkeplatek-set-theory(afb8fb81-90ec-4837-8d2b-81d9c0105109).html
https://dare.uva.nl/personal/pure/en/publications/logics-of-intuitionistic-kripkeplatek-set-theory(afb8fb81-90ec-4837-8d2b-81d9c0105109).html
Autor:
ROBERT PASSMANN
We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5081659501f9fabc091f625be38b10e1
http://arxiv.org/abs/2112.00486
http://arxiv.org/abs/2112.00486
Publikováno v:
Algebra Universalis, 82(3):46. Birkhauser Verlag Basel
An algebra-valued model of set theory is called loyal to its algebra if the model and its algebra have the same propositional logic; it is called faithful if all elements of the algebra are truth values of a sentence of the language of set theory in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99ee62f337d209d0d79a9a4f71c2cd46
https://doi.org/10.1007/s00012-021-00735-4
https://doi.org/10.1007/s00012-021-00735-4
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary intuitionistic logic,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8267a860adc69b093150be077b4670d3
Autor:
Jörg Marvin Gülzow, Fabian Duffhauss, Jakob Köhler, Sebastian Wilhelm, Thomas Rometsch, Winfried Lötzsch, Bernhard Reinke, Tolga Buz, Lucas Rettenmeier, Robert Paßmann, Benno Stein, Matthias Hagen, Florian Friedrich, Maike Elisa Müller, Michael Träger, Efstathios Stamatatos, Fabian Müller, Sarah Braun, Timo Sommer, Martin Potthast
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319306704
ECIR
ECIR
In this paper, we revisit author identification research by conducting a new kind of large-scale reproducibility study: we select 15 of the most influential papers for author identification and recruit a group of students to reimplement them from scr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79beef99c0af31f5af01e58c77226285
https://doi.org/10.1007/978-3-319-30671-1_29
https://doi.org/10.1007/978-3-319-30671-1_29