Pages that link to "Item:Q4487257"
From MaRDI portal
The following pages link to Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions (Q4487257):
Displaying 11 items.
- 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)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- On Gentzen Systems Associated with the Finite Linear MV-algebras (Q4351798) (← links)
- (Q4412860) (← links)
- Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011) (← links)
- (Q4450446) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)
- (Q5430379) (← links)
- Natural dualities for varieties of MV-algebras. I (Q5929367) (← links)