Results 31 to 34 of about 34 (34)
On the lattice of deductive systems of a BL-algebra
Bu§neag Dumitru, Piciu Dana
doaj +1 more source
Algebraic axiomatization of tense intuitionistic logic
Chajda Ivan
doaj +1 more source
Population interaction network in representative gravitational search algorithms: Logistic distribution leads to worse performance. [PDF]
Li H +6 more
europepmc +1 more source
Interior and closure operators on bounded residuated lattices
Rachůnek Jiří, Svoboda Zdeněk
doaj +1 more source

