scientific article; zbMATH DE number 591901
From MaRDI portal
Publication:4296741
zbMATH Open0811.68056MaRDI QIDQ4296741FDOQ4296741
Authors:
Publication date: 20 June 1994
Title of this publication is not available (Why is that?)
Recommendations
Conferencecategory theorysubstructural logicsuniversal algebratheoretical linguisticsSubstructural logicsTübingen (Germany)
Other nonclassical logic (03B60) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27) Natural language processing (68T50)
Cited In (21)
- Title not available (Why is that?)
- LP, K3 and FDE as substructural logics
- Sequent calculi for Visser's propositional logics
- Title not available (Why is that?)
- Obituary: Kosta Došen (1954--2017)
- Synthesized substructural logics
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions
- 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
- Title not available (Why is that?)
- 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)
