Search Results - "Pra Baldi, M."

Logics of left variable inclusion and Płonka sums of matrices by Bonzio, S., Moraschini, T., Pra Baldi, M.

“…The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic ⊢ . We prove that the description of…”
Get full text

A Logical Modeling of Severe Ignorance by Bonzio, S., Fano, V., Graziani, P., Pra Baldi, M.

“…In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of…”
Get full text

On a Logico-Algebraic Approach to AGM Belief Contraction Theory by Fazio, D., Pra Baldi, M.

“…In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary…”
Get full text

Undefinability of Standard sequent calculi for Paraconsistent three-valued logics by Bonzio, S, Baldi, M. Pra

“…In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that…”
Get full text