Results 211 to 217 of about 3,981 (217)
Some of the next articles are maybe not open access.

Commutative deductive systems of pseudo-BCK-algebras

Soft Computing, 2017
Lavinia Corina Ciungu   +1 more
exaly  

New types of hyper MV‐deductive systems in hyper MV‐algebras

Mathematical Logic Quarterly, 2010
Young Bae Jun, Hee Sik Kim
exaly  

Implicative N-deductive systems and annihilators on pre-semi-Nelson algebras

Soft Computing
Shokoofeh Ghorbani, Ghorbani Shokoofeh
exaly  

On the lattice of deductive systems of a BL-algebra

Central European Journal of Mathematics, 2003
exaly  

Meta-Level Control for Deductive Database Systems

Lecture Notes in Computer Science, 1991
exaly  

Home - About - Disclaimer - Privacy