Results 231 to 240 of about 312,323 (264)
Some of the next articles are maybe not open access.
On Intermediate Consequence Relations
Mathematical Logic Quarterly, 1980W. Darsow, Phyllis M. Kittel
openaire +2 more sources
Functional dependencies, supervenience, and consequence relations
Journal of Logic, Language and Information, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2001
Formula (6.1) in Chapter 3 for the canonical extension of a closure operator enables us to apply a crisp deduction apparatus to fuzzy information, i.e., information “stratified” at several levels of validity. Now, it is also possible to apply a “stratified” deduction apparatus (i.e., various deductive instruments each with a related degree of validity)
openaire +1 more source
Formula (6.1) in Chapter 3 for the canonical extension of a closure operator enables us to apply a crisp deduction apparatus to fuzzy information, i.e., information “stratified” at several levels of validity. Now, it is also possible to apply a “stratified” deduction apparatus (i.e., various deductive instruments each with a related degree of validity)
openaire +1 more source
On the ‘transitivity’ of consequence relations
Journal of Logic and Computation, 2017openaire +1 more source
Consequences of a Relation on a Ring: 10841
The American Mathematical Monthly, 2002Erwin Just, Charles Lanski
openaire +2 more sources
A note on the compactness of the consequence relation for congruence varieties
Algebra Universalis, 1982G Czedli, Czedli G
exaly
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science, 1986Andrzej Szalas
exaly
Singular consequence relations and order relations
Grazer Mathematische Berichte, 1989.
openaire +2 more sources