Pages that link to "Item:Q1354077"
From MaRDI portal
The following pages link to Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077):
Displayed 15 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- 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)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)