Pages that link to "Item:Q2810128"
From MaRDI portal
The following pages link to Minimal sequent calculi for Lukasiewicz's finitely-valued logics (Q2810128):
Displaying 6 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics (Q874747) (← links)
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Expanding the Universe (Q3187717) (← links)
- Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions (Q4487257) (← links)