scientific article; zbMATH DE number 1303458
From MaRDI portal
Publication:4250069
zbMath0923.03075MaRDI QIDQ4250069
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicalgebraic semanticsrelevant logicHeyting algebraincompletenessDedekind-MacNeille completionintermediate logicnonclassical logicspredicate logics
Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55)
Related Items (3)
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Comparison of MacNeille, canonical, and profinite completions
This page was built for publication:
