Results 21 to 30 of about 16,198 (182)
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics [PDF]
Fuzzy Sets Syst., 2020 Description logics (DLs) are a suitable formalism for representing knowledge about domains in which objects are described not only by attributes but also by binary relations between objects.
Linh Anh Nguyen +4 more
semanticscholar +1 more source
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE [PDF]
The Review of Symbolic Logic, 2020 In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity.
S. Kripke
semanticscholar +1 more source
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS [PDF]
Bulletin of Symbolic Logic, 2020 We give a survey of current research on Gödel’s incompleteness theorems from the following three aspects: classifications of different proofs of Gödel’s incompleteness theorems, the limit of the applicability of Gödel’s first incompleteness theorem, and ...
Yong Cheng
semanticscholar +1 more source
Gödel-type universes in bumblebee gravity [PDF]
, 2020 The bumblebee field coupled with gravity is considered. This gravitational theory exhibits spontaneous breaking of Lorentz symmetry. The Godel-type universe is introduced and then the causality and its violation are studied.
W. Jesus, A. Santos
semanticscholar +1 more source
Axiomatization of Crisp Gödel Modal Logic [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2020 In this paper we consider the modal logic with both □\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength ...
R. Rodríguez, Amanda Vidal
semanticscholar +1 more source
Intuition and Ingenuity: Gödel on Turing’s “Philosophical Error”
Philosophies, 2022 Despite his unreserved appreciation of Turing’s analysis for being a “precise and unquestionably adequate definition” of formal system or mechanical computability, Gödel nevertheless published a short note in 1972 claiming to have found a “philosophical ...
Long Chen
doaj +1 more source
Relativistic quantum dynamics of spin-0 system of the DKP oscillator in a Gödel-type space-time [PDF]
Communications in Theoretical Physics, 2020 In this article, we study the DKP equation for the oscillator in a Gödel-type space-time background. We derive the final form of this equation in a flat class of Gödel-type space-time and solve it analytically, and evaluate the eigenvalues and ...
Faizuddin Ahmed
semanticscholar +1 more source
Kurt Gödel and Computability Theory [PDF]
, 2006 Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction.
Zach, Richard
core +5 more sources
Journal of Semantics, 2021 How do proper names refer? This question about reference is critical for philosophers studying language, linguists investigating meaning and reference, and psycholinguists interested in how children acquire names. Over the past century, philosophers have
Jin-Cai Li
semanticscholar +1 more source
Compact propositional Gödel logics [PDF]
, 1998 Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ.
Zach, Richard, Baaz, Matthias
core +4 more sources