Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence
Category Theory
2020-05-27 v1
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 . In this paper, we will present some of the implications and possible themes for investigations that arise from the aforementioned framework.
Cite
@article{arxiv.2005.11322,
title = {Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence},
author = {Hendrick Maia},
journal= {arXiv preprint arXiv:2005.11322},
year = {2020}
}
Comments
arXiv admin note: text overlap with arXiv:2005.09135, arXiv:1103.0400