Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence

2020/05/22 by Hendrick Maia, Maia, Hendrick
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2005.11322

openalex publication_date 2020/05/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank k. In this paper, we will present some of the implications and possible themes for investigations that arise from the aforementioned framework.

Related

• Quillen Model Structures-Based Notions of Locality of Logics over Finite Models
• A model category for modal logic
• Locality in Residuated-Lattice Structures
• Locality for Classical Logic
• Synthetic approach to the Quillen model structure on topological spaces