珍妮·伊夫·贝齐奥 基于Suszko的二价语义，对Łukasiewicz的三值逻辑进行了顺序演算。 （英文） Zbl 0963.03037号 牛市。第节。日志。，大学后勤部。 28，第2期，89-97（1999）. 本文提出了一种用于Łukasiewicz三值逻辑（L3）的序列演算（S3）。结果表明，对于由R.Suszko先生[“关于Łukasiewicz的三值逻辑的评论”，Bull.Sect.logic Pol.Acad.Sci.487-90（1975）]。审核人：Albert Hoogewijs（根特） 引用于7文件 MSC公司： 03B50号 多值逻辑 03财年03 一般证明理论（包括证明理论语义） 关键词：多值逻辑;Łukasiewicz逻辑;Suszko的语义;二元估价 PDF格式BibTeX公司 XML格式引用 \textit｛J.-Y.Béziau｝，公牛。第节。日志。，大学后勤部。28，第2号，89--97（1999；Zbl 0963.03037）