2021/05/19 by Ciro Russo, Russo, Ciro · 1 citation
Computer Science · Mathematics · #03B22 #03G99 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #math.LO #msc:03B22 #msc:03G99
paper · pdf · doi:10.48550/arxiv.2105.09416
This paper has been awarded the 2021 Newton da Costa Prize from the Brazilian Logic Society. 27 pages, to appear on Logica Universalis
openalex publication_date 2021/05/19 · arxiv created 2022/01/31 · arxiv updated 2022/02/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe quite extensively the relationships among the algebraic and order-theoretic constructions and the corresponding ones based on a purely logical approach.