most citedSequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

31 citations · 31 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2013★ 31 cited

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

Marcelo E. Coniglio, María I. Corbalán

In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and…