Results 91 to 100 of about 785,300 (287)
Arithmetical pluralism and the objectivity of syntax
Noûs, Volume 59, Issue 2, Page 372-391, June 2025.Abstract Arithmetical pluralism is the view that there is not one true arithmetic but rather many apparently conflicting arithmetical theories, each true in its own language. While pluralism has recently attracted considerable interest, it has also faced significant criticism.
Lavinia Picollo, Daniel Waxman
wiley +1 more source
Applications of Intuitionistic Logic in Answer Set Programming [PDF]
, 2003 We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose +2 more
core
Food Science &Nutrition, Volume 13, Issue 4, April 2025.This study employed the N‐AHP‐based TOPSIS method to assess the alternatives, utilizing criteria weightings established through expert opinion. For the first time in the field of food science, extracts obtained from Aronia fruits were sequenced using N‐AHP‐based TOPSIS.
Gulsum Ucak Ozkaya
wiley +1 more source
Organ Medicine, Volume 2, Issue 1, Page 15-30, March 2025.This article presents a review of recent AI applications in kidney transplantation, focusing on five key domains: imaging and pathology, pharmacokinetics, renal allocation systems, clinical outcome prediction, and molecular diagnostics. ABSTRACT Kidney transplantation is the optimal treatment for end‐stage renal disease.
Weijie Lai, Jianliang Min, Linjie Peng
wiley +1 more source
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
Bilateralism, coherence, and incoherence
Philosophy and Phenomenological Research, Volume 110, Issue 2, Page 623-642, March 2025.Abstract Bilateralism is the view that the speech act of denial is as primitive as that of assertion. Bilateralism has proved helpful in providing an intuitive interpretation of formalisms that, prima facie, look counterintuitive, namely, multiple‐conclusion sequent calculi.
Rea Golan
wiley +1 more source
Logical rules and the determinacy of meaning
Studies in Logic, Grammar and Rhetoric, 2018 The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of ...
McCarty Charles
doaj +1 more source
Studia Logica, 2011 The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$ .
openaire +3 more sources
Intuitionistic Hypothetical Logic of Proofs
Electronic Notes in Theoretical Computer Science, 2014 AbstractWe study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion □A is replaced by 〚s〛A whose intended reading is “s is a proof of A”. We first introduce a natural deduction presentation based on hypothetical judgements and then its term assignment, which yields a ...
Steren, Gabriela +1 more
openaire +3 more sources
Journal of the London Mathematical Society, Volume 111, Issue 3, March 2025.Abstract We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the Čech–Stone compactification of an ordinal space. We use the Continuum Hypothesis to give a finite axiomatization of the modal logic of β(ω2)$\beta (\omega ^2)$, thus resolving Shehtman's first problem for n=2$n=2$. We also characterize modal logics
Guram Bezhanishvili +3 more
wiley +1 more source