Search
Add filters:
Use filters to refine the search results.
Results 1-9 of 9 (Search time: 0.016 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. |