The following pages link to Alexandre Costa-Leite (Q2239381):
Displaying 11 items.
- Paraconsistent orbits of logics (Q2239383) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- (Q3367293) (← links)
- On a paraconsistentization functor in the category of consequence structures (Q4586164) (← links)
- Interplays of knowledge and non-contingency (Q4978552) (← links)
- (Q5067580) (← links)
- Paradeduction in Axiomatic Formal Systems (Q5212091) (← links)
- Logics and Their Galaxies (Q5350335) (← links)
- Universal logic and orbital relativism (Q6610486) (← links)
- Paraconsistentization and many-valued logics (Q6639559) (← links)