Found 14 Documents (Results 1–14)
Analysis in a formal predicative set theory. (English) Zbl 1540.03094
Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 167-183 (2021).
Why predicative sets? (English) Zbl 1535.03260
Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 30-45 (2020).
Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006
Reviewer: Jens Lemanski (Hagen)
Safety, absoluteness, and computability. (English) Zbl 1528.03183
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 8, 17 p. (2018).
Formalizing scientifically applicable mathematics in a definitional framework. (English) Zbl 1451.68333
Three-valued paraconsistent propositional logics. (English) Zbl 1423.03092
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 91-129 (2015).
Ideal paraconsistent logics. (English) Zbl 1248.03046
Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030
Constructibility and decidability versus domain independence and absoluteness. (English) Zbl 1134.03025
A framework for formalizing set theories based on the use of static set terms. (English) Zbl 1133.03342
Avron, Arnon (ed.) et al., Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-540-78126-4/pbk). Lecture Notes in Computer Science 4800, 87-106 (2008).
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (5)
all
top 5
Author
- Avron, Arnon (14)
- Arieli, Ofer (4)
- Cohen, Liron (3)
- Levi, Nissan (2)
- Zamansky, Anna (2)
- Lev, Shahar (1)
all
top 5
Serial
- Stud. Log. (3)
- Bull. Symb. Log. (2)
- Synthese (1)
- Theor. Comput. Sci. (1)
- Log. Methods Comput. Sci. (1)
- J. Formaliz. Reason. (1)