Results 41 to 50 of about 1,704,944 (274)

Incompleteness of a first-order Gödel logic and some temporal logics of programs [PDF]

, 1996
It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant ...
Baaz, Matthias, Leitsch, Alexander, Zach, Richard   +2 more
core   +2 more sources

Ultraproducts and Related Constructions

Mathematics, 2022
In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some ...
Gábor Sági
doaj   +1 more source

Structures of Multi-line Standard Contradictions in First-order Logic [PDF]

Jisuanji kexue
Automatic reasoning constitutes a critical research domain in artificial intelligence,where inference rules play a pivotal role in determining its efficiency.Deductive reasoning based on the separation of contradictions represents a reliable and complete
ZENG Dan, HE Xingxing, LI Yingfang, LI Tianrui
doaj   +1 more source

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]

Logical Methods in Computer Science, 2007
String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Joost Engelfriet, Hendrik Jan Hoogeboom
doaj   +1 more source

Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people

Informatika, 2021
There are three main families of inference algorithms in first-order logic: direct inference and its application to deductive databases and production systems; backward inference procedures and logic programming systems; theorem proving systems based on ...
A. М. Sobol, E. I. Kozlova, Yu. A. Chernyavsky   +2 more
doaj   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

First-order modal logic in the necessary framework of objects [PDF]

, 2016
I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which ...
Fritz, Peter
core   +1 more source