Articolul precedent |
Articolul urmator |
599 2 |
Ultima descărcare din IBN: 2022-10-16 13:18 |
SM ISO690:2012 MURAVITSKY, Alexei. Consequence Operators Related to Logical Friendliness. In: International Conference on Intelligent Information Systems, 22-23 august 2013, Chișinău. Chișinău: "VALINEX" SRL, 2013, pp. 126-132. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
International Conference on Intelligent Information Systems 2013 | ||||||
Conferința "International Conference on Intelligent Information Systems" Chișinău, Moldova, 22-23 august 2013 | ||||||
|
||||||
Pag. 126-132 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
We consider nonmonotonic formula operators related to (logical) friendliness and investigate properties of some of them in comparison with classical consequence. We give an example of nonmonotonic noncompact operator, which is strictly less than classical consequence and strictly greater than friendliness operator. Also, we generalize the friendliness relation to that which is based on any Boolean algebra and show that each operator associated with such a relation is greater than or equal to that of friendliness. We show that in the last inequality relation the equality occurs, in particular, when a Boolean algebra is finite. |
||||||
Cuvinte-cheie Classical consequence, nonmonotonic operator, logical friendliness, Boolean algebra, Heyting algebra |
||||||
|