Pages that link to "Item:Q5277732"
From MaRDI portal
The following pages link to Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732):
Displaying 19 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Density revisited (Q1699744) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- (Q4603449) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- (Q5094116) (← links)
- A Calculus for Rational Łukasiewicz Logic and Related Systems (Q5117205) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
