Palmigiano, A
274  results:
Search for persons X
?
 
?
3

Coalgebra and Logic: A Brief Overview:

Kurz, A. ; Palmigiano, A. ; Venema, Y.
Journal of Logic and Computation.  20 (2010)  5 - p. 985-990 , 2010
 
?
4

Topological Groupoid Quantales:

Palmigiano, A. ; Re, R.
Studia Logica.  95 (2010)  1-2 - p. 125-137 , 2010
 
?
5

Topological Groupoid Quantales:

Palmigiano, A. ; Re, R.
Studia Logica: An International Journal for Symbolic Logic.  95 (2010)  1/2 - p. 125-137 , 2010
 
?
6

Normal Gentzen deductions in the classical case:

Palmigiano, A
Logic Journal of IGPL.  8 (2000)  2 - p. 211-219 , 2000
 
?
7

Algebraic Proof Theory for LE-logics:

Greco, Giuseppe ; Jipsen, Peter ; Liang, Fei..
ACM Transactions on Computational Logic.  25 (2024)  1 - p. 1-37 , 2024
 
?
8

Correspondence Theory on Vector Spaces:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
 
?
11

Modal reduction principles: a parametric shift to graphs:

Conradie, Willem ; Manoorkar, Krishna ; Palmigiano, Alessandra.
Journal of Applied Non-Classical Logics.  34 (2024)  2-3 - p. 174-222 , 2024
 
?
14

Non-distributive Description Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
 
1-15