Results 31 to 40 of about 2,869,949 (320)
On All Strong Kleene Generalizations of Classical Logic
Studia Logica: An International Journal for Symbolic Logic, 2016 By using the notions of exact truth (‘true and not false’) and exact falsity (‘false and not true’), one can give 16 distinct definitions of classical consequence.
S. Wintein
semanticscholar +1 more source
Classical logic, continuation semantics and abstract machines [PDF]
, 1998 One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus +2 more
core +2 more sources
Propositional logic extended with a pedagogically useful relevant implication [PDF]
, 2013 First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for ...
Batens, Diderik
core +2 more sources
Logical Squares for Classical Logic Sentences [PDF]
Logica Universalis, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Classical limit and quantum logic [PDF]
, 2018 The analysis of the classical limit of quantum mechanics usually focuses on the state of the system. The general idea is to explain the disappearance of the interference terms of quantum states appealing to the decoherence process induced by the ...
Fortin, Sebastian Ezequiel +2 more
core +2 more sources
THE NOTHINGNESS OF THE GETTIER PROBLEM
Social Sciences, Humanities and Education Journal, 2020 This work, “The Nothingness” of the Gettier Problem is an attempt to deconstruct the popularly held view that a fourth condition may be necessary for the Traditional Account of Knowledge otherwise known as JTB.
Tom Eneji Ogar, Edor J. Edor
doaj +1 more source
Noncontractive Classical Logic
Notre Dame Journal of Formal Logic, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Why a Logic is not only its Set of Valid Inferences
Análisis Filosófico, 2021 The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game.
Eduardo A. Barrio, Federico Pailos
doaj +1 more source
An informational view of classical logic
Theoretical Computer Science, 2015 We present an informational view of classical propositional logic that stems from a kind of informational semantics whereby the meaning of a logical operator is specified solely in terms of the information that is actually possessed by an agent.
Marcello D'Agostino
semanticscholar +1 more source
Inadequacy of Modal Logic in Quantum Settings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj +1 more source