Results 21 to 30 of about 578,367 (300)
The time lag-luminosity relation: A consequence of the Amati relation? [PDF]
, 2005 We use a simple pulse model to investigate the origin of the time lagluminosity relation (LLR) discovered by Norris et al.(ApJ, 534 (2000) 248). We show that, at least for single pulse bursts which satisfy both the hardness-intensity and the hardness ...
Hafizi, M., Mochkovitch, R.
core +1 more source
Disjunctive Multiple-Conclusion Consequence Relations [PDF]
, 2019 The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion ...
Nowak, Marek
core +1 more source
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source
More Reflections on Consequence [PDF]
, 2014 This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument.
Carrara, Massimiliano, Murzi, Julien
core +2 more sources
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
Two-Variable Logic with Two Order Relations [PDF]
Logical Methods in Computer Science, 2012 It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.
Thomas Schwentick, Thomas Zeume
doaj +1 more source
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of LogicLinear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj +1 more source
Essentialist Blindness Would Not Preclude Counterfactual Knowledge
Philosophia Scientiæ, 2012 This paper does two things. First, it defends, against a potential threat to it, the claim that a capacity for essentialist knowledge should not be placed among the core capacities for counterfactual knowledge.
Sònia Roca-Royes
doaj +1 more source
Direct experimental test of commutation relation via imaginary weak value
Physical Review Research, 2021 The canonical commutation relation is the hallmark of quantum theory, and Heisenberg's uncertainty relation is a direct consequence of it. Although various formulations of uncertainty relations have been tested in experiments a direct test of the ...
Richard Wagner +5 more
doaj +1 more source
Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic
Bulletin of the Section of LogicThe Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj +1 more source