Some modal and temporal translations of generalized basic logic

DOI10.1007/978-3-030-88701-8_11OpenAlexW3210547786MaRDI QIDQ2695352

Wesley Fussner, William Javier Zuluaga Botero

Publication date: 30 March 2023

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

zbMATH Keywords

modal logicGBL-algebrasmodal translations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Transfer theorems for finitely subdirectly irreducible algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of generalized BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Embedding theorems for classes of GBL-algebras
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Generalizations of Boolean products for lattice-ordered algebras
• A temporal semantics for basic logic
• Modal companions of intermediate propositional logics
• Metamathematics of fuzzy logic
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Algebraic foundations of many-valued reasoning
• Poset products as relational models
• Amalgamation and interpolation in ordered algebras.
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Algebraizable logics
• The Logic of Bunched Implications

This page was built for publication: Some modal and temporal translations of generalized basic logic