Search results
Results: 9
Number of items: 9
-
Passmann, R. (2024). The First-Order Logic of CZF is Intuitionistic First-Order Logic. Journal of Symbolic Logic, 89(1), 308-330. https://doi.org/10.1017/jsl.2022.51 -
Carl, M., Galeotti, L., & Passmann, R. (2023). Realisability for infinitary intuitionistic set theory. Annals of Pure and Applied Logic, 174(6), Article 103259. https://doi.org/10.1016/j.apal.2023.103259
-
van den Berg, B., & Passmann, R. (2022). Converse extensionality and apartness. Logical Methods in Computer Science, 18(4), Article 13. https://doi.org/10.46298/LMCS-18(4:13)2022, https://doi.org/10.48550/arXiv.2103.14482
-
Carl, M., Galeotti, L., & Passmann, R. (2021). Randomising Realizability. In L. De Mol, A. Weiermann, F. Manea, & D. Fernández-Duque (Eds.), Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings (pp. 82-93). (Lecture Notes in Computer Science; Vol. 12813). Springer. https://doi.org/10.1007/978-3-030-80049-9_8
-
Passmann, R. (2021). Should pluralists be pluralists about pluralism? Synthese, 199(5-6), 12663-12682. https://doi.org/10.1007/s11229-021-03348-5
-
Löwe, B., Paßmann, R., & Tarafder, S. (2021). Constructing illoyal algebra-valued models of set theory. Algebra Universalis, 82(3), Article 46. https://doi.org/10.1007/s00012-021-00735-4
-
Iemhoff, R., & Passmann, R. (2021). Logics of intuitionistic Kripke-Platek set theory. Annals of Pure and Applied Logic, 172(10), Article 103014. https://doi.org/10.1016/j.apal.2021.103014
-
Passmann, R. (2020). De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. In M. Fernández, & A. Muscholl (Eds.), 28th EACSL Annual Conference on Computer Science Logic: CSL 2020, January 13-16, 2020, Barcelona, Spain Article 33 (Leibniz International Proceedings in Informatics; Vol. 152). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.33
Page of