Results 91 to 100 of about 270,225 (234)

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

The Semantics of Axioms from the Perspective of three Muslim Philosophers (Avicenna, Suhrawardi, Mulla Sadra) [PDF]

حکمت اسرا, 2013
The explanation of the significance of axioms in the intellectual system of Muslim philosophers is one of the most essential philosophical issues which have received little attention in some aspects despite its great significance and its unique role in ...
Ja’efar Shanazari, Fatemeh Zaare’e
doaj  

All-Path Reachability Logic

, 2019
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-path
Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Rosu, Grigore, Serbanuta, Traian Florin, Stefanescu, Andrei   +5 more
core   +1 more source

Attribute Implication Bases From Galois Connection Structures

Mathematical Methods in the Applied Sciences, Volume 49, Issue 4, Page 2729-2753, 15 March 2026.
ABSTRACT Modeling knowledge systems by determining relationships among key variables have been and currently is a fundamental and nontrivial challenge in real‐world scenarios. Many approaches have been developed to reach this goal, but many of them are heuristic and require of alternative procedures to provide robust and tractable rules.
M. Eugenia Cornejo, Jesús Medina, Francisco José Ocaña   +2 more
wiley   +1 more source

The Relevant Logic E and Some Close Neighbours: A Reinterpretation [PDF]

, 2017
This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference.
Mares, Edwin, Standefer, Shawn
core  

Model pluralism for logic

Noûs, Volume 60, Issue 1, Page 136-160, March 2026.
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley   +1 more source

A Machine Proof of the Filter-Method Construction for Real Numbers

Mathematics
This paper presents a machine verification of a real number theory where real numbers are constructed using concepts related to filters. The theory encompasses a special filter, namely the non-principal arithmetical ultrafilter whose existence can be ...
Guowei Dou, Wensheng Yu
doaj   +1 more source

Promising Compilation to ARMv8.3

Труды Института системного программирования РАН, 2018
Concurrent programs have behaviors, which cannot be explained by interleaving execution of their threads on a single processing unit due to optimizations, which are performed by modern compilers and CPUs.
A. V. Podkopaev, O. Lahav, V. Vafeiadis
doaj   +1 more source

Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it) [PDF]

, 2012
To scrutinize notions of computation and time complexity, we introduce and formally define an interactive model for computation that we call it the \emph{computation environment}.
Ramezanian, Rasoul
core  

Linearism, Universalism and Scope Ambiguities

Analytic Philosophy, Volume 67, Issue 1, Page 59-71, March 2026.
ABSTRACT In this paper, I distinguish two possible families of semantics of the open future: Linearism, according to which future tense sentences are evaluated with respect to a unique possible future history, and Universalism, according to which future tense sentences are evaluated universally quantifying on the histories passing through the moment of
Aldo Frigerio
wiley   +1 more source