Search
Add filters:
Use filters to refine the search results.
Results 1-9 of 9 (Search time: 0.004 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
1984 | Modality and possibility in some intuitionistic modal logics | Font, Josep M. |
1997 | Product logic and the deduction theorem | Adillón, Román; Verdú, B. (Buenaventura) |
1996 | A strong completeness theorem for the gentzen systems associated with finite algebras | Gil, Àngel J.; Rebagliato, Jordi; Verdú, B. (Buenaventura) |
1996 | Fundamentos de demostración automática de teoremas | Martínez Alonso, Juan Carlos |
1990 | Note on a six-valued extension of three valued logic | Font, Josep M.; Moussavi, Massoud |
1989 | A four-valued modal logic arising from Monteiro's last algebras | Font, Josep M.; Rius Font, Miquel |
1982 | Distributivity and irreducibility in closure systems | Torrens Torrell, Antoni; Verdú, B. (Buenaventura) |
1997 | Locally finite quasivarieties of MV-algebras | Gispert Brasó, Joan; Torrens Torrell, Antoni |
1996 | On the contributions of Helena Rasiowa to mathematical logic | Font, Josep M. |