The following pages link to Régis Alenda (Q2804317):
Displayed 8 items.
- Nested sequent calculi for normal conditional logics (Q2804318) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Tableau Calculi for $\mathcal{CSL}$ over minspaces (Q3586033) (← links)
- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus (Q3648718) (← links)
- Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces (Q4933295) (← links)