Results 41 to 50 of about 106,571 (322)
A Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +1 more source
Agile Logical Semantics for Natural Languages
InformationThis paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing.
Vincenzo Manca
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
Expressing Validity: Towards a Self-Sufficient Inferentialism [PDF]
, 2020 For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into ...
Hlobil, Ulf
core
Wittgensteinian Predicate Logic
Notre Dame Journal of Formal Logic, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
ChatMolData: A Multimodal Agent for Automatic Molecular Data Processing
Advanced Intelligent Systems, EarlyView.While large language models (LLMs) struggle with molecular data due to single‐modality limitations, ChatMolData—a multimodal agent for processing databases, images, structure files, and documents—is presented. It combines LLMs with tools for retrieval, structuring, prediction, visualization, and search, achieving > 90% accuracy across 128 tasks.
Yi Yu +5 more
wiley +1 more source
On decidability of a fragment of intuitionistic predicate logic
Lietuvos Matematikos Rinkinys, 1999 There is not abstract.
Jolanta Kaušilaitė +1 more
doaj +3 more sources
Advanced Intelligent Systems, EarlyView.This study presents a robot‐assisted remote rehabilitation system for postoperative ankle fractures. The 2.634 kg modular system uses wireless control and deep learning to predict force delays, achieving 100 Hz control (normalized root mean square error ≤ 10.89%).
Zhiyuan He +4 more
wiley +1 more source
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