A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
Valmari, A., & Hella, L. (2023). A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value. Notre Dame Journal of Formal Logic, 64(1), 61-93. https://doi.org/10.1215/00294527-2022-0034
Julkaistu sarjassa
Notre Dame Journal of Formal LogicPäivämäärä
2023Tekijänoikeudet
© 2023 University of Notre Dame
We provide a sound and complete proof system for an extension of Kleene’s ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of “is defined” is extended to terms and formulas via a straightforward recursive algorithm. The “is defined” formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its “is defined” formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions are ubiquitous in computer science and even in (in)equation solving at schools. Our work was motivated by an attempt to precisely explain, in terms of logic, typical informal methods of reasoning in such applications.
Julkaisija
Duke University PressISSN Hae Julkaisufoorumista
0029-4527Julkaisu tutkimustietojärjestelmässä
https://converis.jyu.fi/converis/portal/detail/Publication/182327328
Metadata
Näytä kaikki kuvailutiedotKokoelmat
Lisenssi
Samankaltainen aineisto
Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.
-
On the local and global regularity of tug-of-war games
Heino, Joonas (University of Jyväskylä, 2018)This thesis studies local and global regularity properties of a stochastic two-player zero-sum game called tug-of-war. In particular, we study value functions of the game locally as well as globally, that is, close to ... -
Local regularity estimates for general discrete dynamic programming equations
Arroyo, Ángel; Blanc, Pablo; Parviainen, Mikko (Elsevier, 2022)We obtain an analytic proof for asymptotic Hölder estimate and Harnack's inequality for solutions to a discrete dynamic programming equation. The results also generalize to functions satisfying Pucci-type inequalities for ... -
Comparison of three ordinal logistic regression methods for predicting person’s self-assessed health status with functional, haemodynamic covariates
Markkanen, Merri-Lotta (2023)Lääketieteen parissa perinteiset kyselytutkimukset ovat yhä suosittuja, jonka myötä myös järjestysasteikollisten muuttujien analyysia suoritetaan paljon. Modernin teknologian kehittyminen näkyy kuitenkin myös tällä ... -
The effects of regular sauna bathing in conjunction with exercise on cardiovascular function : A multi-arm randomized controlled trial
Lee, Earric; Kolunsarka, Iiris A; Kostensalo, Joel; Ahtiainen, Juha P.; Haapala, Eero A; Willeit, Peter; Kunutsor, Setor K.; Laukkanen, Jari A (American Physiological Society, 2022)Regular exercise and sauna bathing have each been shown to improve cardiovascular function in clinical populations. However, experimental data on the cardiovascular adaptations to regular exercise in conjunction with sauna ... -
Asymptotic C1,γ-regularity for value functions to uniformly elliptic dynamic programming principles
Blanc, Pablo; Parviainen, Mikko; Rossi, Julio D. (Springer, 2022)In this paper we prove an asymptotic C1,γ-estimate for value functions of stochastic processes related to uniformly elliptic dynamic programming principles. As an application, this allows us to pass to the limit with a ...
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.