Results 241 to 250 of about 100,229 (307)
Some of the next articles are maybe not open access.
On logically false evidence statements
Journal of Symbolic Logic, 1957Logical falsehoods are usually barred in confirmation theory from serving as evidence statements. I wish to study here some three major ways in which this restriction can be lifted.1. Consider the following axioms for the two-argument confirmation function C:A1. 0 ≤ C(h, e) ≤ 1;A2. If ⊦h ≡ h′ and ⊦e ≡ e′, then C(h, e) = C(h′, e′);A3.
openaire +2 more sources
The Logic of Presidential Signing Statements
Political Research Quarterly, 2012Signing statements constitute a salient executive power that has recently captured scholarly and political attention. Prior literature suggests that presidents use signing statements to gain additional policy concessions from Congress. Evidence of policy motivations are, however, difficult to demonstrate and policy motives fail to explain a wide range
Ian Ostrander, Joel Sievert
openaire +1 more source
Logical Connections of Statements in Ontologies
2006 5th IEEE International Conference on Cognitive Informatics, 2006In the classical formal logics, the negation can only be applied to formulas. An ontology contains descriptions of individuals, concepts and slots; and statements about individuals, concepts and slots. The negation can be applied to concepts, slots and statements, so that the logical implication should be considered for all possible combinations of ...
Cungen Cao, Yuefei Sui, Yu Sun
openaire +1 more source
Logic Leeds Development, Leeds: Heritage Statement
2011Five heritage assets were discovered within the development site, which include a circular cropmark, a former site of mixed woodland, and a former site of a coal mine, ridge and furrow and field boundaries. It was recommended that a watching brief or evaluation is carried out prior to any construction.
Brown, L., Holland, K.
openaire +1 more source
From Policy-Making Statements to First-Order Logic
2010Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically represented and evaluated. The framework builds on current technologies for multi-threaded discussion, natural language processing, ontologies, and formal argumentation frameworks.
Wyner A., Van Engers T., Bahreini K.
openaire +1 more source
Popper’s Logical Analysis of Basic Statements
1993The concept of basic statement plays an important role in Popper’s philosophy of science, but his analysis and formulation of the concept are confused and inconsistent. The present paper is intended to explain the functions of basic statements in Popper’s philosophy of science, point out confusion and inconsistency in Popper’s analysis and formulation ...
openaire +1 more source
Simulation of specification statements in Hoare logic
1996Data refinement is a powerful technique to derive implementations in terms of low-level data structures like bytes from specification in terms of high-level data structures like queues. The higher level operations need not be coded as ordinary programs; it is more convenient to introduce specification statements to the programming language and use them
Kai Engelhardt, Willem-Paul Roever
openaire +1 more source