From implicational systems to direct-optimal bases: a logic-based approach.
- Resource Type
- Journal
- Authors
- Rodríguez-Lorenzo, E. (E-MAL-NDM) AMS Author Profile; Bertet, K. (F-LARO-L3I) AMS Author Profile; Cordero, P. (E-MAL-NDM) AMS Author Profile; Enciso, M. (E-MAL-NDM) AMS Author Profile; Mora, A. (E-MAL-NDM) AMS Author Profile; Ojeda-Aciego, M. (E-MAL-NDM) AMS Author Profile
- Source
- Applied Mathematics \& Information Sciences (Appl. Math. Inf. Sci.) (20150101), 9, no.~2L, 305-317. ISSN: 1935-0090 (print).eISSN: 2325-0399.
- Subject
- 06 Order, lattices, ordered algebraic structures -- 06C Modular lattices, complemented lattices
06C15 Complemented lattices, orthocomplemented lattices and posets
- Language
- English