Infinite sequences in the framework of classical logic

2008/04/28 by В.В. Иванов, Ivanov, V. V.
Computer Science · #03B30 #Advanced Algebra and Logic #FOS: Mathematics #General Mathematics (math.GM)

paper · pdf · doi:10.48550/arxiv.0804.4490

openalex publication_date 2008/04/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Infinite sequences are considered in the framework of classical logic from a new point of view.

Related

• A Logical Framework for Convergent Infinite Computations
• Infinite and natural numbers
• Every Logic is Unique: Transfinite Metainferences in Classical Set Theory
• Logic Column 11: The Finite and the Infinite in Temporal Logic
• On the definition of the classical connectives and quantifiers