Some modal and temporal translations of generalized basic logic
From MaRDI portal
Publication:2695352
DOI10.1007/978-3-030-88701-8_11OpenAlexW3210547786MaRDI QIDQ2695352FDOQ2695352
Authors: Wesley Fussner, W. J. Zuluaga Botero 
Publication date: 30 March 2023
Full work available at URL: https://arxiv.org/abs/2106.05573
Cites Work
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Logic of Bunched Implications
- On the structure of generalized BL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- A temporal semantics for basic logic
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
- Algebraizable logics
- Title not available (Why is that?)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- Amalgamation and interpolation in ordered algebras.
- Modal companions of intermediate propositional logics
- Abstract algebraic logic. An introductory textbook
- Generalizations of Boolean products for lattice-ordered algebras
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Embedding theorems for classes of GBL-algebras
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- Title not available (Why is that?)
- Poset products as relational models
Cited In (5)
- Transfer theorems for finitely subdirectly irreducible algebras
- Interpolation in linear logic and related systems
- Some modal and temporal translations of generalized basic logic
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Semiconic idempotent logic. I: Structure and local deduction theorems.
This page was built for publication: Some modal and temporal translations of generalized basic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695352)
