Results 211 to 218 of about 7,776,605 (218)
Some of the next articles are maybe not open access.
Categorical abstract algebraic logic: The criterion for deductive equivalence
Mathematical Logic Quarterly, 2003exaly
A set of design guidelines for object-oriented deductive systems
IEEE Transactions on Knowledge and Data Engineering, 1993S T C Wong
exaly
Implicative N-deductive systems and annihilators on pre-semi-Nelson algebras
Soft ComputingShokoofeh Ghorbani, Ghorbani Shokoofeh
exaly