Consequence Operators Related to Logical Friendliness
Închide
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

Consequence Operators Related to Logical Friendliness


Pag. 126-132

Muravitsky Alexei12
 
1 Louisiana Scholars’ College,
2 Northwestern State University, USA
 
 
Disponibil în IBN: 12 februarie 2018


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