Proof procedures for multiple-valued propositional logics.

Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen […]

, , , , ,