Generalizations of lattices via non-deterministic operators

Discrete Mathematics

Volumn 295, Issue 1-3, 2005, Pages 107-141

  Martinez J ^a   Gutierrez G ^a   De Guzman I P ^a   Cordero, P ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Lattice theory; Multilattice; Multisemilattice; Non deterministic operator; Universal multilattice; Universal multisemilattice

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; FORMAL LOGIC; MATHEMATICAL TECHNIQUES; SET THEORY; THEOREM PROVING;

LATTICE THEORY; MULTILATTICE; MULTISEMILATTICE; NON-DETERMINISTIC OPERATOR; UNIVERSAL MULTILATTICE; UNIVERSAL MULTISEMILATTICE;

MATHEMATICAL OPERATORS;

EID: 18544368651     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.disc.2004.08.043     Document Type: Article

References (19)

1. G. Aguilera, P.I. de Guzmán, M. Ojeda, and A. Valverde Reductions for non-clausal theorem proving Theoretical Comput. Sci. 266 2001 81 112
2. M. Benado Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. I. Čehoslovack. Mat. Ž. 4 79 1954 105 129
3. M. Benado Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. II. Théorie des multistructures Czechoslovak Math. J. 5 80 1955 308 344
4. M. Benado Rectification à mon travail "Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. II" (Théorie des multistructures) Czechoslovak Math. J. 6 81 1956 287 288
5. M. Benado Remarques sur la théorie des multitreillis. VI Mat. -Fyz. Časopis Sloven. Akad. Vied 14 1964 163 207
6. A. Burrieza, and P.I. de Guzmán A new algebraic semantic approach and adequate connectives for computation with temporal logic over discrete time J. Appl. Non-Class. Logics 2 2 1991 181 200
7. P. Cordero, M. Enciso, and P.I. de Guzmán Bases for closed sets of implicants and implicates in temporal logic Acta Inform. 38 2002 599 619
8. P. Cordero, M. Enciso, P.I. de Guzmán, Structure theorems for closed sets of implicates/implicants in temporal logic, Logics in artificial intelligence, Lecture Notes in Artificial Intelligence, 1695 (1999) 193-207.
9. P. Cordero, M. Enciso, and P.I. de Guzmán From the posets of temporal implicates/implicants to a temporal negative normal form Rep. Math. Logics 36 2002 3 48
10. G. Gutiérrez, J. Martínez, M. Ojeda, A. Valverde, P.I. de Guzmán, Reduction theorems for boolean formulas using Δ -trees, Logics in artificial intelligence, Lecture Notes in Computer Science, 1919 (2000) 179-192.
11. G. Gutiérrez, J. Martínez, M. Ojeda, A. Valverde, and P.I. de Guzmán Satisfiability Testing for boolean formulas using Δ -trees Studia Logica, 72 2002 33 60
12. G. Grätzer General Lattice Theory second ed. 1998 Birkhäuser Verlag Basel
13. R. Hahnle Advances in Many-Valued Logics, Handbook of Philosophical Logic 1999 Kluwer Dordrecht
14. R. Hahnle, and G. Escalada Deduction in Many Valued Logics: A Survey 1997 Mathware and Soft Computing
15. D.J. Hansen An axiomatic characterization of multilattices Discrete Math. 33 1 1981 99 101
16. H. Kamp, Tense logic and theory of linear orders, Ph.D. thesis, University of California, Los Angeles, 1968.
17. J. Martínez, P. Cordero, G. Gutiérrez, and P.I. de Guzmán Restricted ideals and the groupability property. Tools for temporal reasoning Kybernetika 39 5 2003 521 546
18. J. Martínez, P. Cordero, G. Gutiérrez, P.I. de Guzmán, A new algebraic tool for Automatic Theorem Provers, Multisemilattice: A structure to improve the efficiency of provers in temporal logics, Annals of Mathematics and Artificial Intelligence, 42 (2004) 369-398.
19. J. Martínez, P. Cordero, G. Gutiérrez, P.I. de Guzmán, Multilattices via Multisemilattices, Topics in applied and theoretical mathematics and computer science, Math. Comput. Sci. Eng. (2001) 238-248.