Results 81 to 90 of about 20,888 (254)
Lewis meets Brouwer: constructive strict implication
, 2017 C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective.
Litak, Tadeusz, Visser, Albert
core +1 more source
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
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
Characterizing intermediate tense logics in terms of Galois connections
, 2014 We propose a uniform way of defining for every logic ${\sf L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK_t}$.
Dzik, Wojciech +2 more
core +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
$(\alpha,\beta)$ - Lock Resolution Method of Linguistic Truth- Valued Intuitionistic Fuzzy First-order Logic [PDF]
, 2023 Nan Li +5 more
openalex +1 more source
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Zagadnienia Filozoficzne w Nauce, 2014 Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
Intuitionistic ancestral logic
Journal of Logic and Computation, 2019 Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently typed abstract programming language with computational functionality beyond iFOL given by its realizer for the transitive closure, TC .
Liron Cohen, Robert L. Constable
openaire +1 more source
Emerging Intuitionistic Fuzzy Classifiers for Intrusion Detection System
Journal of Advances in Information Technology, 2011 One of the toughest challenges in Intrusion Detection System is uncertainty handling. he normal and the abnormal behaviors in networked computers are hard to predict as the boundaries cannot be well defined. The prediction of the normal or abnormal
Kavitha B +2 more
doaj +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core