Results 211 to 220 of about 109,843 (305)
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
, 2019 Paolo Maffezioli, Eugenio Orlandelli
openalex +2 more sources
Analytic Philosophy, EarlyView.ABSTRACT Laws play some role in explanations: at the very least, they somehow connect what is explained, or the explanandum, to what explains, or the explanans. Thus, thermodynamical laws connect the match's being struck and its lightning, so that the former causes the latter; and laws about set formation connect Socrates' existence with {Socrates}'s ...
Julio De Rizzo
wiley +1 more source
Transforming Ontology Web Language Elements into Common Terminology Service 2 Terminology Resources. [PDF]
J Pers MedMora S +4 more
europepmc +1 more source
Quantifiers for a Modal Future
Philosophical Perspectives, EarlyView.ABSTRACT Future auxiliaries present a challenge to the classical analysis of modal expressions as existential or universal quantifiers over a contextually provided set of possible worlds: these expressions come with a distinct modal flavor, but their interaction with negation and the fact that future judgments come in degrees of confidence is ...
Malte Willer
wiley +1 more source
A category theory perspective on the Language of Thought: LoT is universal. [PDF]
Front PsycholPhillips S.
europepmc +1 more source
Generalization and Predicate Invention in Learning Logic Programs
, 1993 裕毅 石坂 +2 more
openalex +2 more sources
Philosophical Perspectives, EarlyView.ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley +1 more source
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]
Sensors (Basel)Im E, Choi M, Cho K.
europepmc +1 more source
Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3 [PDF]
Anthony Brogni, Sebastiaan J. C. Joosten
openalex +1 more source
Symbolic racism against black people among black and white Americans: A system justification account
Political Psychology, EarlyView.Abstract Using three nationally representative, probability samples of Americans (Ns range from 848 to 20,728), we examined the endorsement of symbolic racism against Black people among both Black and White Americans through the lens of system justification.
Alexandra Suppes +3 more
wiley +1 more source