The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing
that most useful logics are idealizations in that they are either undecidable or likely to be …

Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined
by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene …

The characterizing properties of a proof-theoretical presentation of a given logic may hang
on the choice of proof formalism, on the shape of the logical rules and of the sequents …

We argue for an informational view of logic according to which reasoning phenomena are
conceived as operations performed by embodied and situated agents. We maintain that …

A rejection system is a proof calculus axiomatically characterising some class of non-valid
formulas of a logic. In contrast to the usual traditions of formalising the propagation of …

Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined
by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene …

The characterizing properties of a proof-theoretical presentation of a given logic may hang
on the choice of proof formalism, on the shape of the logical rules and of the sequents …

In times of increased political polarisation, the spread of misleading information, amplified by
social media algorithms, gives rise to cognitive biases that can seriously distort the …