Filter pairs and natural extensions of logics

DOI10.1007/S00153-022-00834-6OpenAlexW3084114222MaRDI QIDQ2700816

Darllan Conceição Pinto, Hugo Luiz Mariano, Peter F. Arndt

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.04377

zbMATH Keywords

abstract algebraic logiccontinuous latticesnatural extensions

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Abstract algebraic logic (03G27)

Cites Work

• A note on natural extensions in abstract algebraic logic
• Constructing natural extensions of propositional logics
• Algebraizable logics
• Algebraizable logics and a functorial encoding of its morphisms
• Logical information theory: new logical foundations for information theory
• Deducibility and many-valuedness
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Filter pairs and natural extensions of logics