Some types of filters in residuated lattices
From MaRDI portal
Publication:894672
DOI10.1007/s00500-013-1184-6zbMath1325.03078MaRDI QIDQ894672
Publication date: 2 December 2015
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-013-1184-6
Boolean algebra; MV-algebra; BL-algebra; Boolean deductive system; deductive system; easy filter; fantastic filter; Hilbert algebra; implicative deductive system; implicative filter; MV-filter; positive implicative filter; residuated lattice; Tarski algebra
03G25: Other algebras related to logic