Pages that link to "Item:Q1354077"
From MaRDI portal
The following pages link to Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077):
Displayed 9 items.
- A framework for proof systems (Q707742) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Density elimination (Q944384) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)