Results 61 to 70 of about 270,225 (234)

Separation Logic for Small-step Cminor [PDF]

, 2007
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language.
Appel, Andrew W., Blazy, Sandrine
core   +3 more sources

Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

, 2011
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.
Schneider, Michael, Sutcliffe, Geoff
core   +1 more source

Symmetry lost: A modal ontological argument for atheism?

Noûs, EarlyView.
Abstract The modal ontological argument for God's existence faces a symmetry problem: a seemingly equally plausible reverse modal ontological argument can be given for God's nonexistence. Here, we argue that there are significant asymmetries between the modal ontological argument and its reverse that render the latter more compelling than the former ...
Peter Fritz, Tien‐Chun Lo, Joseph C. Schmid   +2 more
wiley   +1 more source

Categories without structures [PDF]

, 2009
The popular view according to which Category theory provides a support for Mathematical Structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics.
Rodin, Andrei
core   +5 more sources

Towards a theory of presence

Noûs, EarlyView.
Abstract The present paper presents a new (formal) theory of presence according to which, roughly, to be present at a place is to have a delegate located at that place. One crucial feature of the theory is that something can be present at a place without thereby being located there.
Claudio Calosi
wiley   +1 more source

Semantics and Axiomatization for Stochastic Differential Dynamic Logic

, 2021
Building on previous work by Andr Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared to the previous effort, our account of the Stochastic Differential Dynamic Logic follows closer to and is more compatible with the traditional account of the regular ...
Roberts, Michael, Kopylov, Alexei, Nogin, Aleksey   +2 more
openaire   +2 more sources

Structure and Computation

Noûs, EarlyView.
ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure.
Balthasar Grabmayr
wiley   +1 more source

Paraconsistent Labeling Semantics for Abstract Argumentation

Mathematics
Dung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it ...
Yuanlei Lin
doaj   +1 more source

Quiver Gauge Theories: Finitude and Trichotomoty

Mathematics, 2018
D-brane probes, Hanany-Witten setups and geometrical engineering stand as a trichotomy of standard techniques of constructing gauge theories from string theory.
Yang-Hui He
doaj   +1 more source

Why Are All the Sets All the Sets?

Noûs, EarlyView.
ABSTRACT Necessitists about set theory think that the pure sets exists, and are the way they are, as a matter of necessity. They cannot explain why the sets (de rebus) are all the sets. This constitutes the Ur‐Objection against necessitism; it is the primary motivation cited by potentialists about set theory.
Tim Button
wiley   +1 more source