Pages that link to "Item:Q2563461"
From MaRDI portal
The following pages link to Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461):
Displaying 11 items.
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra (Q2662715) (← links)
- Free ordered algebraic structures towards proof theory (Q2747705) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
