非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推理在数学基础上并非无懈可击．所以，以研究模糊推理的数学基础为核心的模糊逻辑，作为一个全新的数学领域，引起世界上许多学者的关注，并且取得了一系列的研究成果．而用代数的方法研究逻辑问题，始于英国数学家G．Boole等人的工作，以此为工具他们获得了经典逻辑系统的语法与语义的和谐性，确立了形式逻辑系统的完备性问题。此后许多学者基于对模糊逻辑和模糊推理的系统研究，引入了相应的代数结构，并对其进行了大量的研究，得出了许多有意义的结论．本文的目的就是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的S代数。 本文的主要工作如下： 第一章给出了基础S代数和S代数的定义，然后对它们的基本性质分别进行了深入的研究，最后给出了偏序集上S代数的特征刻画，并对其独立性进行了研究。 第二章与其他研究逻辑系统而引入的代数结构不同，本文引入的偏序集上的S代数在一般情况下不构成格，然而一个代数结构如果具有格结构，则具有许多优良的性质。因此本章进一步研究了S代数的性质，讨论了偏序集上S代数构成格的一些条件，并从格的角度给出了偏序集上S代数若干格的性质。 第三章主要研究了格上S代数满足不同逻辑条件后与其它著名代数之间的相互关系，本章中主要详细研究了偏序集上S代数满足不同逻辑条件后与MV代数，BL代数，Heyting代数，Boole代数及BCK代数的相互关系。