Login / Signup

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.

Arnon AvronJonathan Ben-NaimBeata Konikowska
Published in: Logica Universalis (2007)
Keyphrases