Results 121 to 130 of about 65,341 (232)
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]
Mach LearnAi L +3 more
europepmc +1 more source
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
Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]
Mon Hefte Mathvon Plato J.
europepmc +1 more source
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
An extension of intermediate predicate logics to higher order
Japanese journal of mathematics. New series, 1991 openaire +2 more sources
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
A full formal representation of Arrow's impossibility theorem. [PDF]
PLoS OneYamamoto K.
europepmc +1 more source
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source