Pages that link to "Item:Q1931344"
From MaRDI portal
The following pages link to Many-place sequent calculi for finitely-valued logics (Q1931344):
Displaying 7 items.
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Minimal sequent calculi for Lukasiewicz's finitely-valued logics (Q2810128) (← links)
- Optimization of sequent calculi for finite-valued logics with equality determinant (Q2896493) (← links)
- Intuitionistic sequent calculi for finitely many-valued logics (Q3147361) (← links)
- (Q4012975) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- (Q5430379) (← links)