Régis Alenda

Available identifiers

zbMath Open alenda.regisMaRDI QIDQ2804317

List of research outcomes

Publication	Date of Publication	Type
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity	2016-08-05	Paper
Nested sequent calculi for normal conditional logics	2016-04-28	Paper
Nested Sequent Calculi for Conditional Logics	2012-09-21	Paper
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models	2012-09-21	Paper
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces	2011-07-01	Paper
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces	2010-10-12	Paper
Tableau Calculi for $\mathcal{CSL}$ over minspaces	2010-09-03	Paper
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus	2009-12-01	Paper

Research outcomes over time

This page was built for person: Régis Alenda