Pages that link to "Item:Q813084"
From MaRDI portal
The following pages link to Gentzen-type methods for bilattice negation (Q813084):
Displaying 4 items.
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)