The following pages link to Computer Science Logic (Q5292654):
Displaying 12 items.
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- Gödel-Dummett counter-models through matrix computation (Q2848063) (← links)
- A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom (Q2900262) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- A deterministic terminating sequent calculus for Godel-Dummett logic (Q4255973) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- Automated Reasoning (Q5307065) (← links)
- Computer Science Logic (Q5311248) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)