Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.

Marcelo Finger, Mauricio S. C. Hernandes

Browse the full WoLLIC paper archive.