A propositional logic for Tarski's consequence operator
( Hércules Feitosa de Araújo Feitosa, Mauri Cunha do Nascimento, Maria Claudia Cabrini Grácio)

Published: 2017-09-01