نتایج جستجو برای: deductive

تعداد نتایج: 7045  

Journal: :Behavior Research Methods & Instrumentation 1983

Journal: :The Journal of Logic Programming 1995

Journal: :International Journal of Advanced Robotic Systems 2012

Journal: :Electronic Notes in Theoretical Computer Science 2003

Journal: :Bulletin of the Korean Mathematical Society 2005

2010
I. Chajda R. Halaš Y. B. Jun

The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra H considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice DedH of all deductive systems on H and every maximal deductive system is prime. Complements and relative complements of DedH are characterized as the so called annihila...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید