\input zb-basic
\input zb-ioport
\iteman{io-port 05793628}
\itemau{Finger, Marcelo; Hernandes, Mauricio S.C.}
\itemti{Entailment multipliers: an algebraic characterization of validity for classical and modal logics.}
\itemso{Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6--9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 1-18 (2010).}
\itemab
Summary: We propose a novel algebraic characterisation of the classical notion of validity in terms of Boolean rings, called entailment multipliers. We demonstrate the existence of such multipliers and show how they can be used to derive stronger entailment statements. An interesting property of multipliers lies in their behaviour as invariants in a proof, a fact that is used to show how several inference systems can be employed to compute entailment multipliers. A similar characterisation of validity for modal logics is presented.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-13824-9\_1}
\end