Results 41 to 50 of about 854,026 (193)
Abductive Proof Procedure with Adjusting Derivations for General Logic Programs [PDF]
, 2001 In this paper, we formulate a new integrity constraint in correlation with 3-valued stable models in an abduction framework based on general logic programs.
Kurose, Yoshinori, Yamasaki, Susumu
core +1 more source
Gödelova věta a relace logického důsledku
Teorie vědy, 2010 Gödel’s Incompleteness Theorem and the Relation of Logical Consequence In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a ...
Jaroslav Zouhar
doaj +1 more source
Theoretical and Practical Security Aspects of Crime Scene Investigations and Evaluation of Evidence [PDF]
Bezbednosni Dijalozi, 2018 Detecting and locating physical evidence during crime scene investigation requires special expertise and experience which should contribute to proper assessment, access, organization, and coordination of the investigative activities.
Slobodan Oklevski
doaj +1 more source
An Objection to Naturalism and Atheism from Logic [PDF]
, 2019 I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world.
Weaver, Christopher Gregory
core
Probabilistic Quantum Encoder for Single-Photon Qubits
, 2003 We describe an experiment in which a physical qubit represented by the polarization state of a single-photon was probabilistically encoded in the logical state of two photons.
A. V. Belinsky +8 more
core +1 more source
Quantum Non-Objectivity from Performativity of Quantum Phenomena [PDF]
, 2014 We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM.
Khrennikov, Andrei, Schumann, Andrew
core +1 more source
Peculiarities of Kant’s Interpretation of the Term ‘Consequence’
Кантовский сборникModern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A.
Anastasia V. Petrovskaya
doaj +1 more source
Principia: An International Journal of Epistemology, 2010 There are different ways we use the expressions “extension” and “intension”. I specify in the first part of this paper two basic senses of this distinction, and try to show that the old metaphysical sense, by means of particular instance vs.
Guido Imaguire
doaj
Refinement by interpretation in {\pi}-institutions [PDF]
, 2011 The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions.
Barbosa, Luis S. +3 more
core +3 more sources
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]
, 2003 Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Hrushovski, Ehud, Pitowsky, Itamar
core +3 more sources