Results 211 to 220 of about 9,016 (226)

Fuzzy structures of hyper-MV-deductive systems in hyper-MV-algebras

Computers and Mathematics With Applications, 2010
Hee Sik Kim, Young Bae Jun
exaly  

Representational Minimalism and Comparison with Other Natural Deductive Systems

2022
exaly  

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

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

A set of design guidelines for object-oriented deductive systems

IEEE Transactions on Knowledge and Data Engineering, 1993
S T C Wong
exaly  

The Lattice of Deductive Systems on Hilbert Algebras

Southeast Asian Bulletin of Mathematics, 2003
Ivan Chajda, Chajda Ivan
exaly  

STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

Honam Mathematical Journal, 2007
Young-Bae Jun
exaly  

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

Soft Computing
Shokoofeh Ghorbani, Ghorbani Shokoofeh
exaly  

Sampling Labeled Deductive Systems

2006
D M Gabbay
exaly  

Meta-Level Control for Deductive Database Systems

Lecture Notes in Computer Science, 1991
exaly  

DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS

Honam Mathematical Journal, 2010
exaly