Some modal and temporal translations of generalized basic logic
From MaRDI portal
Publication:2695352
Cites work
- scientific article; zbMATH DE number 5822586 (Why is no real title available?)
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 67022 (Why is no real title available?)
- A temporal semantics for basic logic
- Abstract algebraic logic. An introductory textbook
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Amalgamation and interpolation in ordered algebras.
- Embedding theorems for classes of GBL-algebras
- Generalizations of Boolean products for lattice-ordered algebras
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
- Metamathematics of fuzzy logic
- Modal companions of intermediate propositional logics
- On the structure of generalized BL-algebras
- Poset products as relational models
- Residuated lattices. An algebraic glimpse at substructural logics
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- The Logic of Bunched Implications
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Cited in
(5)- Transfer theorems for finitely subdirectly irreducible algebras
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Interpolation in linear logic and related systems
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Some modal and temporal translations of generalized basic logic
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)
