Results 81 to 90 of about 19,372 (208)
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
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
A Fuzzy Decision‐Making Support Model for Traffic Safety Analysis
Expert Systems, Volume 42, Issue 9, September 2025.ABSTRACT Our study delves into the crucial issue of road safety by examining the intricate dynamics of driver behaviour, often resulting in tragic accidents. The importance of comprehending these behaviours is acknowledged, leading us to propose an innovative decision‐making support model that integrates the analytic hierarchy process (AHP) with the ...
Sarbast Moslem +6 more
wiley +1 more source
CO2 Storage Site Selection: A Comprehensive Review of Current Approaches
Greenhouse Gases: Science and Technology, Volume 15, Issue 4, Page 487-510, August 2025.ABSTRACT Global warming, driven by increasing anthropogenic greenhouse gas emissions, has emerged as a critical environmental concern. Carbon capture and storage (CCS) technology offers a promising solution for reducing CO2 emissions, but its effectiveness depends on identifying suitable candidates that can ensure safe, long‐term storage of CO2.
Shahryar Rashidi +2 more
wiley +1 more source
The logic of interactive Turing reduction
, 2006 The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic implication as interactive algorithmic reduction.
Giorgi Japaridze +11 more
core +2 more sources
The model checking problem for intuitionistic propositional logic with one variable is AC1-complete [PDF]
, 2011 We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC1. As basic tool we use the connection between intuitionistic logic and Heyting algebra, and investigate its complexity ...
Mundhenk, Martin, Weiss, Felix
core
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
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
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
A Note on OTM-Realizability and Constructive Set Theories
, 2019 We define an ordinalized version of Kleene's realizability interpretation of intuitionistic logic by replacing Turing machines with Koepke's ordinal Turing machines (OTMs), thus obtaining a notion of realizability applying to arbitrary statements in the ...
Carl, Merlin
core