Pages that link to "Item:Q2270235"
From MaRDI portal
The following pages link to Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235):
Displaying 23 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Extending fuzzy logics with many hedges (Q1795208) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- On positive commutative tomonoids (Q2630275) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- On terminological issues regarding linguistic hedges (Q2869779) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- A novel approach to equality (Q6142508) (← links)
- Linear abelian modal logic (Q6555699) (← links)
