Michele Pra Baldi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Containment logics: Algebraic Counterparts and Reduced Models Journal Of Logic And Computation	2022-09-22	Paper
Logics of variable inclusion Trends in Logic -- Studia Logica Library	2022-06-09	Paper
Pure variable inclusion logics Logic and Logical Philosophy	2022-03-29	Paper
Containment logics: algebraic completeness and axiomatization Studia Logica	2021-12-27	Paper
Containment logics: algebraic completeness and axiomatization Studia Logica	2021-12-27	Paper
Extensions of paraconsistent weak Kleene logic Logic Journal of the IGPL	2021-12-03	Paper
Counting finite linearly ordered involutive bisemilattices (available as arXiv preprint)	2021-07-22	Paper
Logics of variable inclusion and the lattice of consequence relations Journal of Applied Non-Classical Logics	2021-06-11	Paper
Proof theory of paraconsistent weak Kleene logic Studia Logica	2020-08-25	Paper
Algebraic analysis of demodalised analytic implication Journal of Philosophical Logic	2020-02-14	Paper
Counting finite linearly ordered involutive bisemilattices (available as arXiv preprint)	2018-11-08	Paper
On the structure of Bochvar algebras (available as arXiv preprint)	N/A	Paper
Equational definitions of logical filters (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Michele Pra Baldi