The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer's basic logic Bd.
Saved in:
| Title: | The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer's basic logic Bd. |
|---|---|
| Authors: | Robles, Gemma1, gemma.robles@unileon.es, Méndez, José M2, sefus@usal.es |
| Source: | Logic Journal of the IGPL; Jun2024, Vol. 32 Issue 3, p493-516, 24p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!