Logical matrices and non-structural consequence operators

Studia Logica ◽  
1983 ◽  
Vol 42 (1) ◽  
pp. 33-42 ◽  
Author(s):  
Brunetto Piochi
Keyword(s):  
Structural Consequence ◽  
Consequence Operators ◽  
Logical Matrices

The Divided Self in the Fiction of Henry James

PMLA ◽  
1975 ◽  
Vol 90 (3) ◽  
pp. 447-460
Author(s):  
Daniel J. Schneider
Keyword(s):  
Free Will ◽  
Henry James ◽  
Free Spirit ◽  
Divided Self ◽  
Structural Consequence ◽  
The World ◽  
To Come

AbstractThe divided self in James’s fiction may be regarded as an inevitable structural consequence of James’s desire to dramatize the problem of the free spirit in an enslaving world. But the divided self required by art is not essentially different from the divided self known to psychology, and an understanding of the anxieties of that self, particularly of the “obsessive imagery” James uses to depict those anxieties, enriches our understanding of James’s work. The fear of a world that threatens one’s being issues in an elaborate development of an escape motif; of imagery of seizure by the eye and by the world of appearances; and of imagery of petrification, reflecting a dread of being turned into a mere tool or machine. James’s vision of “the great trap of life” permits him to come to terms with his own limitations and culminates in a searching philosophic examination of the problem of free will and determinism.

scholarly journals Hyperfinite and standard unifications for physical theories

2001 ◽  
Vol 28 (2) ◽  
pp. 93-102 ◽  
Author(s):  
Robert A. Herrmann
Keyword(s):  
Nonempty Subset ◽  
Natural Systems ◽  
Consequence Operators

A set of physical theories is represented by a nonempty subset{SNjV|j∈ℕ}of the lattice of consequence operators defined on a languageΛ. It is established that there exists a unifying injection𝒮defined on the nonempty set of significant representations for natural systemsM⊂Λ. IfW∈M, then𝒮Wis a hyperfinite ultralogic and⋃{SNjV(W)|j∈ℕ}=𝒮W(*W)∩Λ. A “product” hyperfinite ultralogicΠis defined on internal subsets of the product set*Λmand is shown to represent the application of𝒮to{W1,…,Wm}⊂M. There also exists a standard unifying injectionSWsuch that𝒮W(*W)⊂*SW(*W).

Reduced products of logical matrices

Studia Logica ◽  
1980 ◽  
Vol 39 (1) ◽  
pp. 19-43 ◽  
Author(s):  
Janusz Czelakowski
Keyword(s):  
Reduced Products ◽  
Logical Matrices

scholarly journals Well-founded and stable semantics of logic programs with aggregates

2007 ◽  
Vol 7 (3) ◽  
pp. 301-353 ◽  
Author(s):  
NIKOLAY PELOV ◽  
MARC DENECKER ◽  
MAURICE BRUYNOOGHE
Keyword(s):  
Logic Programming ◽  
Second Order ◽  
Logic Programs ◽  
Consequence Operator ◽  
Trade Offs ◽  
Stable Semantics ◽  
Consequence Operators ◽  
Semantics Of Logic Programs ◽  
Stable Models

AbstractIn this paper, we present a framework for the semantics and the computation of aggregates in the context of logic programming. In our study, an aggregate can be an arbitrary interpreted second order predicate or function. We define extensions of the Kripke-Kleene, the well-founded and the stable semantics for aggregate programs. The semantics is based on the concept of a three-valuedimmediate consequence operatorof an aggregate program. Such an operatorapproximatesthe standard two-valued immediate consequence operator of the program, and induces a unique Kripke-Kleene model, a unique well-founded model and a collection of stable models. We study different ways of defining such operators and thus obtain a framework of semantics, offering different trade-offs betweenprecisionandtractability. In particular, we investigate conditions on the operator that guarantee that the computation of the three types of semantics remains on the same level as for logic programs without aggregates. Other results show that, in practice, even efficient three-valued immediate consequence operators which are very low in the precision hierarchy, still provide optimal precision.

Nonlinear structural consequence analysis of FPSO topside blastwalls

2013 ◽  
Vol 60 ◽  
pp. 149-162 ◽  
Author(s):  
Jung Min Sohn ◽  
Sang Jin Kim ◽  
Byoung Hoon Kim ◽  
Jeom Kee Paik
Keyword(s):  
Consequence Analysis ◽  
Nonlinear Structural ◽  
Structural Consequence
Sign in / Sign up

Export Citation Format

Share Document