A Framework for Formalizing Set Theories Based on the Use of Static Set Terms-Reference-Cited by-同舟云学术

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

Published: Issue: Volume: Page:87-106
ISSN:
Container-title:Pillars of Computer Science
language:
Short-container-title:

Author:

Avron Arnon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78127-1_6.pdf

Reference24 articles.

1. Ackermann, W.: Zur Axiomatik der Mengenlehre. Mathematische Annalen 131, 336–345 (1956)

2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

3. Avron, A.: Transitive closure and the mechanization of mathematics. In: Kamareddine, F. (ed.) Thirty Five Years of Automating Mathematics, pp. 149–171. Kluwer Academic Publishers, Dordrecht (2003)

4. Avron, A.: Safety signatures for first-order languages and their applications. In: Hendricks, et al. (eds.) First-Order Logic Revisited, pp. 37–58. Logos Verlag, Berlin (2004)

5. Lecture Notes in Computer Science;A. Avron,2004

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Boris Abramovich Trakhtenbrot;Russian Mathematical Surveys;2022-02-01

2. Analysis in a Formal Predicative Set Theory;Logic, Language, Information, and Computation;2021

3. Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work);Outstanding Contributions to Logic;2021

4. APPLICABLE MATHEMATICS IN A MINIMAL COMPUTATIONAL THEORY OF SETS;LOG METH COMPUT SCI;2018

5. A Minimal Computational Theory of a Minimal Computational Universe;Logical Foundations of Computer Science;2017-11-28