Consequences and conjectures in preordered sets

Authors:
Enric Trillas;Itziar García-Honrado;Ana Pradera
Affiliations:
European Centre for Soft Computing, Edificio Científico-Tecnológico, 33600 Mieres, Asturias, Spain;European Centre for Soft Computing, Edificio Científico-Tecnológico, 33600 Mieres, Asturias, Spain;Departamento de Ciencias de la Computación, Universidad Rey Juan Carlos, 28933 Móstoles, Madrid, Spain
Venue:
Information Sciences: an International Journal
Year:
2010

Citing 7
Cited 2

On conjectures in orthocomplemented lattices

Artificial Intelligence
Lattice-theoretic models of conjectures, hypotheses and consequences

Artificial Intelligence
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Automata theory based on quantum logic: some characterizations

Information and Computation
A note on Trillas' CHC models

Artificial Intelligence
Automata theory based on quantum logic: Reversibilities and pushdown automata

Theoretical Computer Science
On the reducibility of hypotheses and consequences

Information Sciences: an International Journal

A model for “crisp reasoning” with fuzzy sets

International Journal of Intelligent Systems
A note on a deductive scheme of Dummett in classical and fuzzy logics

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.07

Visualization

Abstract

In a preordered set, or preset, consequence operators in the sense of Tarski, defined on families of subsets, are introduced. From them, the corresponding sets of conjectures, hypotheses, speculations and refutations are considered, studying the relationships between these sets and those previously defined on ortholattices. All the concepts introduced are illustrated with three particular consequence operators, whose behavior is studied in detail. The results obtained are applied to the case of fuzzy sets endowed with the usual pointwise ordering.