On the reducibility of hypotheses and consequences

Authors:
E. Trillas;A. Pradera;A. Álvarez
Affiliations:
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;European Centre for Soft Computing, Edificio Científico-Tecnológico, 33600 Mieres, Asturias, Spain
Venue:
Information Sciences: an International Journal
Year:
2009

Citing 4
Cited 2

On conjectures in orthocomplemented lattices

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

Artificial Intelligence
Toward a generalized theory of uncertainty (GTU): an outline

Information Sciences—Informatics and Computer Science: An International Journal
A note on Trillas' CHC models

Artificial Intelligence

Consequences and conjectures in preordered sets

Information Sciences: an International Journal
A model for “crisp reasoning” with fuzzy sets

International Journal of Intelligent Systems

Quantified Score

Hi-index	0.07

Visualization

Abstract

This paper only tries to shed some additional light on the concepts of hypotheses and consequences, introduced by Trillas et al. [E. Trillas, S. Cubillo, and E. Castineira, On conjectures in orthocomplemented lattices, Artificial Intelligence, 117 (2) (2000) 255-275] as particular cases of the more general concept of conjecture. The definitions of reducible hypothesis and reducible consequence are presented, and it is shown that in orthomodular lattices all hypotheses and consequences are reducible, but that this is not necessarily the case in proper ortholattices. In addition, the sets of reducible hypotheses and consequences are characterized, both for general ortholattices as well as for the particular case of orthomodular lattices.