Results 21 to 30 of about 201,623 (302)
Mathematics, 2022 One of the main problems in representing information in the form of nonsystematic logic is the lack of flexibility, which leads to potential overfitting.
Yuan Gao +6 more
doaj +1 more source
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on
Angelos Charalambidis +2 more
doaj +1 more source
Formal verification of Matrix based MATLAB models using interactive theorem proving [PDF]
PeerJ Computer Science, 2021 MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences.
Ayesha Gauhar +4 more
doaj +2 more sources
JTAM (Jurnal Teori dan Aplikasi Matematika), 2023 Higher-order thinking skills are skills that are an important aspect of teaching and learning mathematics. Mathematics and culture have a very close relationship, so the development and application of mathematical concepts in the learning process must be
Sri Subarinah +3 more
doaj +1 more source
Higher-Order Logic Programming [PDF]
, 1986 Modern programming languages such as Lisp, Scheme and ML permit procedures to be encapsulated within data in such a way that they can subsequently be retrieved and used to guide computations. The languages that provide this kind of an ability are usually based on the functional programming paradigm, and the procedures that can be encapsulated in them ...
Dale Miller 0001, Gopalan Nadathur
openaire +1 more source
A relational logic for higher-order programs [PDF]
Proceedings of the ACM on Programming Languages, 2017 Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs. Relational program verification can be used for reasoning about a broad range of properties, including equivalence and refinement, and specialized notions such ...
Alejandro Aguirre 0001 +4 more
openaire +5 more sources
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing, 2022 Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems.
Adnan Rashid, Sa’ed Abed, Osman Hasan
doaj +1 more source
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core +1 more source
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages [PDF]
Logical Methods in Computer Science, 2006 We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables).
Lars Birkedal +2 more
doaj +1 more source
The Case Against Higher-Order Metaphysics
Metaphysics, 2022 Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order ...
Thomas Hofweber
doaj +1 more source