03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (5 articles)
- : Residuation in twist products and pseudo-Kleene posets. (English). Mathematica Bohemica, vol. 147 (2022), issue 3, pp. 369-383
- : Some properties of state filters in state residuated lattices. (English). Mathematica Bohemica, vol. 146 (2021), issue 4, pp. 375-395
- : Classes of fuzzy filters of residuated lattice ordered monoids. (English). Mathematica Bohemica, vol. 135 (2010), issue 1, pp. 81-97
- : A non commutative generalization of $\star$-autonomous lattices. (English). Czechoslovak Mathematical Journal, vol. 58 (2008), issue 3, pp. 725-740
- : Inversions on complete lattices and Girard quantales. (English). Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 5 (1997), issue 1, pp. 53-59
Search
Partner of
