Results 11 to 20 of about 1,309,863 (280)
Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
Fractal and Fractional, 2022 Fractional-order PID control is a landmark in the development of fractional-order control theory. It can improve the control precision and accuracy of systems and achieve more robust control results.
Chunna Zhao, Murong Jiang, Yaqun Huang
doaj +3 more sources
Journal of King Saud University: Computer and Information Sciences, 2023 In the perspective of logic mining, the attribute selection, and the objective function of the best logic is the two main factors that identifies the effectiveness of our proposed logic mining model. The non-significant attributes selected will cause the
Nur 'Afifah Rusdi +4 more
doaj +3 more sources
Superposition for Higher-Order Logic
Journal of Automated Reasoning, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bentkamp, Alexander +3 more
openaire +7 more sources
Computers and Education: Artificial IntelligenceThis study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel +3 more
doaj +3 more sources
Henkin on Nominalism and Higher-Order Logic
Principia: An International Journal of Epistemology, 2022 In this paper a proposal by Henkin of a nominalistic interpretation for second and higher-order logic is developed in detail and analysed. It was proposed as a response to Quine’s claim that second and higher-order logic not only are (α) committed to ...
Diego Pinheiro Fernandes
doaj +1 more source
Meta-Logical Reasoning in Higher-Order Logic [PDF]
, 2015 The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics.
Villadsen, Jørgen +2 more
openaire +3 more sources
Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic
Ergo, An Open Access Journal of Philosophy, 2021 Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict ...
Aleks Knoks
doaj +2 more sources
Alternation Is Strict For Higher-Order Modal Fixpoint Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinary parity automata extended by a variation of the Krivine Abstract Machine.
Florian Bruse
doaj +1 more source
Extensional Semantics for Higher-Order Logic Programs with Negation [PDF]
Logical Methods in Computer Science, 2018 We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs.
Panos Rondogiannis, Ioanna Symeonidou
doaj +1 more source
Grundlagen §64: an alternative strategy to account for second-order abstraction
Principia: An International Journal of Epistemology, 2022 A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedure of content recarving which Frege describes in the passage.
Vincenzo Ciccarelli
doaj +1 more source