The Poset of All Logics I: Interpretations and Lattice Structure

Autor:	Jansana, R., Moraschini, T.
Rok vydání:	2019
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1911.09394 Zobrazit plný text záznamu View this record from Arxiv