Michele Pra Baldi

According to our database, Michele Pra Baldi authored at least 14 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

The External Version of a Subclassical Logic.

Massimiliano Carrara, Michele Pra Baldi

Rev. Symb. Log., 2025

On the Structure of Bochvar Algebras.

Stefano Bonzio, Michele Pra Baldi

Rev. Symb. Log., 2025

Equational definitions of logical filters.

Michele Pra Baldi, Adam Prenosil

Ann. Pure Appl. Log., 2025

2024

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.

Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu

Stud Logica, December, 2024

2023

A Logical Modeling of Severe Ignorance.

Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi

J. Philos. Log., August, 2023

2022

Containment logics: Algebraic Counterparts and Reduced Models.

Stefano Bonzio, Michele Pra Baldi

J. Log. Comput., 2022

2021

Containment Logics: Algebraic Completeness and Axiomatization.

Stefano Bonzio, Michele Pra Baldi

Stud Logica, 2021

On a Logico-Algebraic Approach to AGM Belief Contraction Theory.

Davide Fazio, Michele Pra Baldi

J. Philos. Log., 2021

Extensions of paraconsistent weak Kleene logic.

Francesco Paoli, Michele Pra Baldi

Log. J. IGPL, 2021

Logics of left variable inclusion and Płonka sums of matrices.

Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi

Arch. Math. Log., 2021

2020

Proof Theory of Paraconsistent Weak Kleene Logic.

Francesco Paoli, Michele Pra Baldi

Stud Logica, 2020

Logics of variable inclusion and the lattice of consequence relations.

Michele Pra Baldi

J. Appl. Non Class. Logics, 2020

2019

Algebraic Analysis of Demodalised Analytic Implication.

Antonio Ledda, Francesco Paoli, Michele Pra Baldi

J. Philos. Log., 2019

2018

Counting Finite Linearly Ordered Involutive Bisemilattices.

Stefano Bonzio, Michele Pra Baldi, Diego Valota

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018