Conjecturing from consequences

International Journal of General Systems

Volumn 38, Issue 5, 2009, Pages 567-578

  Trillas, Enric ^a   Mas, Margarita ^b   Monserrat, Miquel ^b   Torrens, Joan ^b  

^a EUROPEAN CENTRE FOR SOFT COMPUTING   (Spain)

^b UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

Conjectures; Consequences; Hypotheses; Speculations

Indexed keywords

EID: 74949109265     PISSN: 03081079     EISSN: 15635104     Source Type: Journal    
DOI: 10.1080/03081070902753671     Document Type: Article

References (10)

1. Benthem, J. van, 2007. Abduction at the interface of logic and philosophy of science. Theoria, 22 (3), 60, 271-273.
2. Dunn, J.M. and Hardegree, G.M., 2001. Algebraic methods in philosophical logic. Oxford: Clarendon Press.
3. Fdez. Pineda, A., Trillas, E. and Vaucheret, C., 2001. Additional comments on conjectures, hypothesis and consequences in orthocomplemented lattices. In: J.A. Campbell and E. Roanes- Lozano, eds. Artificial intelligence and symbolic computation, LNAI 1980. Berlin: SpringerVerlag, 107-114.
4. Niiniluoto, I., 2007. Structural rules for abduction. Theoria, 22 (3), 60, 325-329.
5. Qiu, D., 2007. A note on Trillas' CHC models. Artificial intelligence, 171, 239-254.
6. Rose, M. and Wilkinson, K., 2001. AAA newsletter 52 (August).
7. Trillas, E., Cubillo, S. and Castineira, E., 2000. On conjectures in orthocomplemented lattices.Artificial intelligence, 117, 255-275.
8. Trillas, E. and Pradera, A., 2006. An orthogonality-based classification of conjectures in ortho-lattices. Mathware and soft computing, 13 (1), 71-87.
9. Watanabe, S., 1969. Knowing & guessing. New York: John Wiley & Sons.
10. Ying, M. and Wang, H., 2002. Lattice-theoretic models of conjectures, hypothesis and consequences. Artificial intelligence, 139, 253-267.