Work

Enriched Concepts of Regular Logic

Year: 2025

Type: article

Abstract: Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment $\mathcal {V}$ . In this context, we construct atomic formulas and define the regular fragment of our enriched logic by taking conjunctions and existential quantification of those. We then characterize $\mathcal {V}$ -categories of models of regular theories as enriched injectivity classes in the $\mathcal {V}$ -category of structures. These notions rely on the choice of an orthogonal factorization system $(\mathcal {E},\mathcal {M})$ on $\mathcal {V}$ which will be used, in particular, to interpret relation symbols and existential quantification.

Source: Journal of Symbolic Logic

DOI: 10.1017/jsl.2024.83

Authors: JIŘÍ ROSICKÝ, GIACOMO TENDAS

Institutions: Masaryk University, University of Manchester

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,550

Funders: Grantová Agentura České Republiky, Engineering and Physical Sciences Research Council