Pages that link to "Item:Q3395332"
From MaRDI portal
The following pages link to SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332):
Displaying 14 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- (Q4412860) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- Trilattice logic: an embedding-based approach (Q5262476) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)