scientific article; zbMATH DE number 591901
From MaRDI portal
Publication:4296741
zbMath0811.68056MaRDI QIDQ4296741
No author found.
Publication date: 20 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Conferencecategory theorysubstructural logicsuniversal algebratheoretical linguisticsTübingen (Germany)Substructural logics
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Natural language processing (68T50)
Related Items (10)
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Representable idempotent commutative residuated lattices ⋮ Obituary: Kosta Došen (1954--2017) ⋮ Algebraic study of two deductive systems of relevance logic ⋮ Free algebras corresponding to multiplicative classical linear logic and some of its extensions ⋮ Sequent calculi for Visser's propositional logics ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Proof-theoretic notions for software maintenance ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ The finite model property for BCI and related systems
This page was built for publication:
