scientific article; zbMATH DE number 966887
From MaRDI portal
Publication:5690139
zbMath0869.03013MaRDI QIDQ5690139
Publication date: 16 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
varietieslatticesrelevance logicSugihara matrixmaximal extensionsdegree of maximalityCR-matrixlattice of extensions of relevant logic R
Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)
Related Items (2)
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
This page was built for publication:
