Results 31 to 40 of about 352,054 (291)
Varieties of conventional implicature
Semantics and Pragmatics, 2010 This paper provides a system capable of analyzing the combinatorics of a wide range of conventionally implicated and expressive constructions in natural language via an extension of Potts's (2005) L_CI logic for supplementary conventional implicatures ...
Eric Scott McCready
doaj +1 more source
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications [PDF]
, 2021 Formal verification provides strong guarantees of correctness of software, which are especially important in safety or security critical systems. Hoare logic is a widely used formalism for rigorous verification of software against specifications in the form of pre-condition/post-condition assertions.
openaire +2 more sources
On Logics of Transitive Verbs With and Without Intersective Adjectives
Studia Humana, 2018 The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R(∀,∃) containing transitive verbs and a more expressive logical system R(∀,∃, IA)
Topal Selçuk
doaj +1 more source
Descriptive complexity for pictures languages [PDF]
, 2012 This paper deals with logical characterizations of picture languages of any dimension by syntactical fragments of existential second-order logic. Two classical classes of picture languages are studied: - the class of "recognizable" picture languages, i ...
Grandjean, Etienne
core +1 more source
Boolean Logic, Fregean Logic, Wittgensteinian Logic and the Processing of Natural Language
, 2021 Gottlob Frege (1848-1925) transformed the field of logic from what it had remained since the days of Aristotle. Regarded as the founder of modern logic and much of modern philosophy, Frege laid the foundations of predicate logic, first-order predicate calculus and quantificational logic – formal systems central to computer science and mathematics ...
openaire +4 more sources
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
Advanced Engineering Materials, EarlyView.This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Definiteness-indefiniteness category and logical quantification
Cognitive Studies | Études cognitives, 2015 Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Filosofia Unisinos, 2021 This paper gives a brief account of the main ideas of our book on “Lexical inferences and net-interpretation of predicates”. In their applications of modern formal logic in their work, linguists naturally adopt two typical options: sententialism ...
L. S. F. Olavo, Julio Cabrera
doaj