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

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

Journal: :The Journal of Symbolic Logic 1999

Journal: :ACM SIGPLAN Notices 2004

Journal: :Theory and Practice of Logic Programming 2022

Abstract Logic programming is a flexible paradigm due to the use of predicates without fixed data flow. To extend logic languages with compact notation functional programming, there are various proposals map evaluable functions into in order stay framework. Since amalgamated offer as well efficient evaluation strategies, we propose an opposite approach this paper. By mapping programs transforma...

Journal: :journal of electrical and computer engineering innovations 2016
jalal rostami monfared mehdi fazeli yaser lotfi

in this article, a speed control of dc motor is designed and illustrated using fuzzy logic-based programmable logic controller (plc). the dc motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. the designed system is consisted of three main parts including programmable logic contr...

Journal: :Philosophical Studies 2010

Journal: :Israel Journal of Mathematics 2021

For a cardinal of the form κ = בκ, Shelah’s logic L 1 has characterisation as maximal above $${ \cup _{\lambda < \kappa }}{L_{\lambda ,\omega }}$$ satisfying strengthening undefinability well-order. Karp’s chain [20] is known to satisfy well-order and interpolation. We prove that if singular countable cofinality, . Moreover, we show strong limit cardinals $$L_{ , }^c{ }}L_{\lambda ,\lambda }^c$...

Journal: :Studia Logica 2023

Abstract We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ( $$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive with intuitive semantics. use the reverse algebraisation paradigm: presented assertional point regular variety (whose structur...

Journal: :International Journal of Approximate Reasoning 2011

Journal: :Modeling and Analysis of Information Systems 2020

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

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