The following pages link to Guido Fiorino (Q230826):
Displayed 24 items.
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Efficient learning with equivalence queries of conjunctions of modulo functions (Q1350223) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- A Terminating Evaluation-Driven Variant of G3i (Q2851938) (← links)
- Simplification Rules for Intuitionistic Propositional Tableaux (Q2946662) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
- (Q4412855) (← links)
- (Q4428299) (← links)
- A secondary semantics for Second Order Intuitionistic Propositional Logic (Q4459601) (← links)
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603) (← links)
- Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics (Q4796459) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)
- fCube: An Efficient Prover for Intuitionistic Propositional Logic (Q4933312) (← links)
- New Tableau Characterizations for Non-clausal <scp>MaxSAT</scp> Problem (Q5092559) (← links)
- On the complexity of the disjunction property in intuitionistic and modal logics (Q5277730) (← links)
- Computer Science Logic (Q5311279) (← links)
- Improvements to the Tableau Prover PITP (Q5434492) (← links)
- An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic (Q5956122) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)