scientific article; zbMATH DE number 591901
From MaRDI portal
Publication:4296741
Recommendations
Cited in
(21)- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- LP, K3 and FDE as substructural logics
- Sequent calculi for Visser's propositional logics
- Obituary: Kosta Došen (1954--2017)
- scientific article; zbMATH DE number 1975400 (Why is no real title available?)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions
- Synthesized substructural logics
- The finite model property for BCI and related systems
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
- Substructural logics: a primer
- LK, LJ, dual intuitionistic logic, and quantum logic
- A Useful Substructural Logic
- Representable idempotent commutative residuated lattices
- Modal translation of substructural logics
- Constructive logic with strong negation is a substructural logic. I
- Algebraic study of two deductive systems of relevance logic
- Meeting strength in substructural logics
- scientific article; zbMATH DE number 956470 (Why is no real title available?)
- Proof-theoretic notions for software maintenance
- Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
- Note on Structural Logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4296741)
