On noetherianity for logical formulas over fields

2008/02/01 by Aivars Berzins, Berzins, Aivars
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic Geometry (math.AG) #FOS: Mathematics #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras #math.AG

paper · pdf · doi:10.48550/arxiv.0802.0211

5 pages

arxiv created 2008/02/01 · openalex publication_date 2008/02/01 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherianity, logical noetherianity and denumerable noetherianity.

Citations

• Algebraic Logic, Varieties of Algebras and Algebraic Varieties

Related

• On equationally Noetherian predicate structures
• Algebraic Properties of Propositional Calculus
• Noetherian theories
• Characterizing Propositional Proofs as Non-Commutative Formulas
• Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation