Results 11 to 20 of about 455,476 (286)
On Ladder Diagrams Compilation and Synthesis to FPGA Implemented Reconfigurable Logic Controller [PDF]
Advances in Electrical and Electronic Engineering, 2014 The paper presents synthesis process of a hardware implemented reconfigurable logic controller from a ladder diagram according to IEC61131-3 requirements. It is focused on the originally developed a high-performance LD processing method.
Adam Milik
doaj +4 more sources
Topologies for intermediate logics [PDF]
Mathematical Logic Quarterly, 2014 We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.
Caramello, Olivia
openaire +5 more sources
Almost Linear Büchi Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA).
Tomáš Babiak +2 more
doaj +4 more sources
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]
Logical Methods in Computer Science, 2012 G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz +2 more
doaj +1 more source
International Journal of Metrology and Quality Engineering, 2023 The teaching workload of university teachers is an objective reflection of their instructional input and directly affects the quality of education and teaching.
Sun Lizhi, Chen Danhui, Xu Jingjing
doaj +1 more source
On intermediate justification logics
Logic Journal of the IGPL, 2022 AbstractWe study arbitrary intermediate propositional logics extended with a collection of axioms from (classical) justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical ...
openaire +2 more sources
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory [PDF]
, 2019 We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class
Passmann, Robert
core +3 more sources
Frontiers in Psychology, 2021 Aim: This aim of this study is to describe the development of a program logic model to guide arts-based psychosocial practice delivered in rural South African farming communities affected by transgenerational traumas.Background: The rationale for ...
Dominik Havsteen-Franklin +4 more
doaj +1 more source
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation [PDF]
, 2015 Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics.
Gange, Graeme +4 more
core +1 more source
Fuzzy inference‐based control and decision system for precise aeration of sewage treatment process
Electronics Letters, 2021 The sewage treatment systems manage to reduce pollutants of wastewater to make it reach some requirement. The core of it is to effectively control and determine intermediate aeration amount, which is always challenging.
Wenru Zeng +6 more
doaj +1 more source