On the reducibility of hypotheses and consequences

DOI10.1016/j.ins.2009.01.008zbMath1185.06004OpenAlexW2084173750MaRDI QIDQ845308

Ana Alvárez, Enric Trillas, Ana Pradera

Publication date: 28 January 2010

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2009.01.008

zbMATH Keywords

reducibilityorthomodular latticesconjecturesortholatticeshypothesesconsequencesreducible/non-reducible conjecture

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items

Consequences and conjectures in preordered sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on Trillas' CHC models
• On conjectures in orthocomplemented lattices
• Toward a generalized theory of uncertainty (GTU) -- an outline
• Lattice-theoretic models of conjectures, hypotheses and consequences
• Conjecturing from consequences