The Poset of All Logics I: Interpretations and Lattice Structure
From MaRDI portal
Publication:6329616
DOI10.1017/JSL.2021.48arXiv1911.09394MaRDI QIDQ6329616FDOQ6329616
Authors: Ramon Jansana, Tommaso Moraschini 
Publication date: 21 November 2019
Abstract: A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbitrarily large sets exist, but binary suprema in general do not. On the other hand, the existence of suprema of sets of equivalential logics is established. The relations between Log and the lattice of interpretability types of varieties are investigated.
This page was built for publication: The Poset of All Logics I: Interpretations and Lattice Structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6329616)
