Entailment multipliers an algebraic characterization of validity for classical and modal logics
Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)
Proceedings Berlin : Springer, 2010
Berlin Springer 2010
Localização:
IME - Inst. Matemática e Estatística
(PROD-2176241 ) e outros locais(Acessar)