19 citations · 21 across the 3 of their papers we have counts for
1 paper · 2 filters
Giuseppe Greco, Fei Liang, Alessandra Palmigiano +1
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and…