Alessandro Avellone

Available identifiers

zbMath Open avellone.alessandroMaRDI QIDQ506822

List of research outcomes

Publication	Date of Publication	Type
Complexity reduction and approximation of multidomain systems of partially ordered data	2022-05-30	Paper
Generalized tableau systems for intermediate propositional logics	2019-01-15	Paper
Almost duplication-free tableau calculi for prepositional lax logics	2019-01-10	Paper
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model	2017-02-02	Paper
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic	2016-08-15	Paper
Optimization techniques for propositional intuitionistic logic and their implementation	2008-12-12	Paper
Improvements to the Tableau Prover PITP	2008-01-04	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4421867	2003-09-01	Paper
How to avoid the formal verification of a theorem prover	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	2000-06-14	Paper
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	2000-06-14	Paper
On maximal intermediate predicate constructive logics	1997-01-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Avellone