Results 51 to 60 of about 939,241 (354)
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
Formalization of Linear Space Theory in the Higher-Order Logic Proving System
Journal of Applied Mathematics, 2013 Theorem proving is an important approach in formal verification. Higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and stronger semantics. Higher-order logic is more expressive.
Jie Zhang, Danwen Mao, Yong Guan
doaj +1 more source
An Introduction to Ontology [PDF]
, 1998 Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as ...
Smith, Barry
core
Decidability of predicate logics with team semantics [PDF]
, 2016 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
Kontinen, Juha +2 more
core +3 more sources
Polysulfides From Inverse Vulcanization Used in Electronic Tongues for Heavy Metal Sensing
Journal of Applied Polymer Science, EarlyView.Schematic illustration of the polysulfide‐based e‐tongue system. ABSTRACT Polysulfides (PS) are versatile sulfur‐rich polymers synthesized via the inverse vulcanization of elemental sulfur, a simple one‐pot method that transforms an abundant, low‐cost residue into a functional material. In this work, we employed different PS structures as sensing units
Stella F. Valle +5 more
wiley +1 more source
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
Notre Dame J. Formal Log., 2010 We give a syntactic translation from first-order intuitionistic predicate logic into second-order intuitionistic propositional logic IPC2. The translation covers the full set of logical connectives ∧, ∨, →, ⊥, ∀, and ∃, extending our previous work, which
M. Sørensen, P. Urzyczyn
semanticscholar +1 more source
A Language for Ontological Nihilism [PDF]
, 2018 According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects.
Diehl, Catharine
core
Journal of the Association for Information Science and Technology, EarlyView.Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley +1 more source
Antipode, EarlyView., 2023 Abstract The perceptions and representations of whiteness around motherhood, family, and black sexuality reproduce the logic of what Hortense Spillers calls “captive flesh”, controlling understandings about femininity, motherhood, and gender. This debate is guided by the politics of the racial neoliberal agenda that works to control the urban ...
Danielle Pereira de Araújo
wiley +1 more source
Prevendo Inferências Lógico-Predicativas no Processamento de Texto
Interamerican Journal of Psychology, 2007 Previous investigations had established that sentential-logic inferences are made effortlessly during text processing. Three experiments extended this investigation to predicate-logic inferences in text comprehension.
David P. O`Brien +3 more
doaj