Results 171 to 180 of about 109,843 (305)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
, 2017 Oksana Shkilniak
openalex +2 more sources
Ideology, Domination, and the Rights of Labor Migrants
Journal of Social Philosophy, EarlyView.
Tully Rector
wiley +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
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
A Scalable Approach to IoT Interoperability: The Share Pattern. [PDF]
Sensors (Basel)Petracci R, Culmone R.
europepmc +1 more source
Model theory for modal logic?Part III existence and predication
, 1981 Kit Fine
openalex +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
Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]
BMC Med Res MethodolKhan S +5 more
europepmc +1 more source