Results 181 to 190 of about 939,241 (354)

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

A Machine-Oriented Logic Based on the Resolution Principle

JACM, 1965
J. A. Robinson
semanticscholar   +1 more source

Bureaucratic Responses to Populist Government: Explaining Foreign Policy (Non‐)Change

JCMS: Journal of Common Market Studies, EarlyView.
Abstract Populism has become a defining feature of global politics. As populists become part of elected governments, an increasingly rich literature has been investigating their influence on a country's foreign policy. Nonetheless, such scholarly endeavours have neglected one specific element: the interplay between elective officials and the ...
Hanna Corsini, Edoardo Ongaro
wiley   +1 more source

Higher-Order Logical Reasoning in Preschool Children: Evidence from Intonation and Quantifier Scope. [PDF]

Open Res Eur
Sauerland U, Sugawara A, Yatsushiro K.
europepmc   +1 more source

Human verifications: Computable with truth values outside logic. [PDF]

Proc Natl Acad Sci U S A, 2023
Johnson-Laird PN, Byrne RMJ, Khemlani SS.   +2 more
europepmc   +1 more source

Separation Predicates: A Taste of Separation Logic in First-Order Logic

, 2012
François Bobot, Jean-Christophe Filliâtre   +1 more
openalex   +2 more sources

An extension of J\'{o}nsson-Tarski representation and model existence in predicate non-normal modal logics [PDF]

, 2021
Yoshihito Tanaka
openalex  

Predicate Logic Based Image Grammars for Complex Pattern Recognition

IEEE Computer Society Conference on Computer Vision and Pattern Recognition workshops, 2009
Vinay D. Shet, Maneesh Kumar Singh, Claus Bahlmann, Visvanathan Ramesh, J. Neumann, L. Davis   +5 more
semanticscholar   +1 more source

Aid as Pacification: The Encroachment of Counterterrorism Clauses into the Aid Regime of the European Union in the Occupied Palestinian Territories

JCMS: Journal of Common Market Studies, EarlyView.
Abstract The article engages the European Union's (EU) implementation of counterterrorism clauses as part of its development aid regulations in the Occupied Palestinian Territory (OPT). The point of departure for the research is the shift in the EU's policy for aid regulations in the OPT in 2019, when the EU began to gradually implement ...
Mariam Salameh‐Puvogel
wiley   +1 more source

Towards a Fregean psycholinguistics

Analytic Philosophy, EarlyView., 2023
Abstract This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full ...
Thorsten Sander
wiley   +1 more source