Results 11 to 20 of about 4,414,858 (168)
The Review of Symbolic Logic, 2023 AbstractIn this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are ...
Guillermo Badia, David Makinson
openaire +3 more sources
Machine Learning, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aram Karalic, Ivan Bratko
openaire +2 more sources
A First-Order Logic with Frames [PDF]
ACM Transactions on Programming Languages and Systems, 2020 AbstractWe propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct $$\textit{Sp}(\cdot )$$ Sp ( · ) that captures the implicit supports of formulas ...
Adithya Murali +3 more
openaire +3 more sources
Integral equations and actuarial risk management: Some models and numerics
Mathematical Modelling and Analysis, 2003 The problem of the estimation of the probability R(z, t) (here t is time, z is initial reserve) of the finite time non‐ruin problem for a risk business such as an insurance company is considered, with respect to • presenting models that have been ...
A. Makroglou
doaj +1 more source
Ordered fragments of first-order logic
CoRR, 2021 <p>Using a recently introduced algebraic framework for classifying fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions. </p>
openaire +5 more sources
The stromal derived factor-1 (SDF-1) secretion attracts stem cells and accelerates the skin wound healing against the background of its closure with dermal fibroblasts associated with polylactide film [PDF]
Scripta MedicaBackground/Aim: Chronic skin wounds are a huge clinical problem, leading to the need for prolonged treatment and significant health care expenses. Regenerative engineering using tissue technologies and cellular constructs offers promising alternatives ...
Baranovskiy Alexey +10 more
doaj +1 more source
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
The Journal of Symbolic Logic, 2022 AbstractWe prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, we also show that the propositional admissible rules of CZF are exactly those of intuitionistic ...
openaire +4 more sources
GEOMETRISATION OF FIRST-ORDER LOGIC [PDF]
The Bulletin of Symbolic Logic, 2015 AbstractThat every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor easily found in the literature.
Dyckhoff R., Negri S.
openaire +5 more sources
International Journal of Applied Mechanics and Engineering, 2014 An exact solution of an unsteady flow past a parabolic starting motion of an infinite vertical plate with variable temperature and mass diffusion, in the presence of a homogeneous chemical reaction of first order has been studied.
R. Muthucumaraswamy, S. Velmurugan
doaj +1 more source
First-Order Convergence and Roots [PDF]
Combinatorics, Probability and Computing, 2015 Nešetřil and Ossona de Mendez introduced the notion of first-order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether, if (Gi)i∈ℕ is a sequence of graphs with M being their first-order limit and v is a vertex of M, then there exists a sequence (vi)i∈ℕ of vertices such that the graphs Gi rooted at vi ...
Demetres Christofides, Daniel Král'
openaire +3 more sources