The Generalized Principal Ideal Theorem is one of the cornerstones of dimension theory for Noetherian rings. For an R-module M, we identify certain submodules of M that play a role analogous to that of prime ideals in the ring R. Using this definition, we extend the Generalized Principal Ideal Theorem to modules.

The completeness theorem of equational logic of Birkhoff asserts the coincidence of the model-theoretic and proof-theoretic consequence relations. Goguen and Meseguer, giving a sound and adequate system of inference rules for many-sorted deduction, founded ultimately on the congruences on Hall algebras, generalized the completeness theorem of Birkhoff to the completeness theorem of many-sorted ...

In other words, abduction, deduction, and induction work together to explore. In recent years many Monte Carlo simulations have been.induction and abduction reasoning operators, resulting in the proposal that our. Deduction, generalized induction and generalized abduction. Have been implemented and tested within a simulation environment 5.Deduction, Quantitative and Qualitative Induction, Abduc...

recently, zhang and song [q. zhang, y. song, fixed point theory forgeneralized $varphi$-weak contractions,appl. math. lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. in this paper, we prove a common fixed point theorem fora family of compatible maps. in fact, a new generalization of zhangand song's theorem is given.

binayak et al in [1] proved a fixed point of generalized kannan type-mappings in generalized menger spaces. in this paper we extend gen- eralized kannan-type mappings in generalized fuzzy metric spaces. then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. finally we present an example of our main result.

in this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete disjoint NP-pairs exist. On the other hand, if EF is an optimal proof system, then the weak deduction theorem holds for EF . Hence the weak deduction property for EF is a natural intermediate condition between the optima...