Title
On the reducibility of hypotheses and consequences
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.
Year
DOI
Venue
2009
10.1016/j.ins.2009.01.008
Inf. Sci.
Keywords
Field
DocType
proper ortholattices,general concept,particular case,general ortholattices,artificial intelligence,orthomodular lattice,reducible consequence,e. trillas,e. castineira,reducible hypothesis,artificial intelligent,hypotheses
Discrete mathematics,Pure mathematics,Conjecture,Mathematics
Journal
Volume
Issue
ISSN
179
23
0020-0255
Citations 
PageRank 
References 
5
0.61
5
Authors
3
Name
Order
Citations
PageRank
E. Trillas125020.35
A. Pradera2897.34
A. Álvarez350.61