Pages that link to "Item:Q5013635"
From MaRDI portal
The following pages link to Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635):
Displaying 5 items.
- (Q4202949) (← links)
- (Q5039104) (← links)
- (Q5603863) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- Normalisation for some infectious logics and their relatives (Q6659895) (← links)