Results 231 to 240 of about 89,422 (259)

Extension of PDL and consequence relations

1985
Most of the deduction algorithms are of the form of regular expressions. To investigate some properties of these deductions we introduce an extension of PDL with propositional constants and infinite conjunctions and disjunctions. We treat the formulas of the object logical language for which the deductions are as propositional variables, the sets of ...
openaire   +1 more source

On the Relation Between Default and Modal Consequence Relations

1994
The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms. As is shown, in many cases each of them can be translated into the other.
openaire   +1 more source

Supraclassical Consequence Relations

2013
We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations of nonmonotonic logic, as well as introducing new kinds of entailment with a diversity of potential ...
Willem Labuschagne, Johannes Heidema, Katarina Britz   +2 more
openaire   +1 more source

On Intermediate Consequence Relations

Mathematical Logic Quarterly, 1980
W. Darsow, Phyllis M. Kittel
openaire   +2 more sources

Functional dependencies, supervenience, and consequence relations

Journal of Logic, Language and Information, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Graded Consequence Relations

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

On the ‘transitivity’ of consequence relations

Journal of Logic and Computation, 2017
openaire   +1 more source

Consequences of a Relation on a Ring: 10841

The American Mathematical Monthly, 2002
Erwin Just, Charles Lanski
openaire   +2 more sources

Consequence relations

2023
openaire   +1 more source

Consequence operators, interior operators and fuzzy relations

Fuzzy Sets and Systems, 2022
Jorge Elorza, Jordi Recasens
exaly