نتایج جستجو برای: order logic

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

2009
Luca Spada

The Loś-Tarski Theorem and the ChangLoś-Susko Theorem, two classical results in Model Theory, are extended to the infinitevalued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model theoretic forcing for Lukasiewicz logic [1]. Key-words: First Order Many-Valued Logic, Lukasiewicz logic, Model Theory.

Journal: :The Journal of Logic and Algebraic Programming 2003

Journal: :Electronic Notes in Theoretical Computer Science 2011

Journal: :Theory and Practice of Logic Programming 2011

Journal: :Notre Dame Journal of Formal Logic 1987

Journal: :Publications de l'Institut Mathematique 2013

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

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