activity
20132026
most citedFree algebras in varieties of Hilbert algebras with supremum generated by finite chains

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

collaborators
Showing 2021Show all

1 paper · 1 filter

math.LO2021

Cut--free sequent calculus and natural deduction for the tetravalent modal logic

Martín Figallo

The {\em tetravalent modal logic} () is one of the two logics defined by Font and Rius (\cite{FR2}) (the other is the {\em normal tetravalent modal logic} )…