CIGNOLI, R.L.O., D’OTTAVIANO, I.M.L., MUNDICI, D. (2000) Algebraic foundations of many-valued reasoning. Trends in Logic, v. 2, 223 p.
Dordrecht
: Kluwer Acad. Publ.
CONIGLIO
,
M.E.
(2005) Towards a stronger notion of translation between logics. Manuscrito, v. 28, n. 2, p. 231-262.
D’OTTAVIANO, I.M.L., FEITOSA, H.A. (1999) Many-valued logics and translations. In: CARNIELLI, W. (Ed.) Multi-valued logics. Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140.
D’OTTAVIANO, I.M.L., FEITOSA, H.A. (2000) Paraconsistent logics and translations. Synthese,
Dordrecht
, v. 125, n. 1-2, p. 77-95.
DA SILVA, J.J., D’OTTAVIANO, I.M.L., SETTE, A.M., (1999) Translations between logics. In: CAICEDO,
X.
,
MONTENEGRO
, C.H. (Ed.) Models, algebras and proofs.
New York
: Marcel Dekker, p. 435-448. (Lectures Notes in Pure and Applied Mathematics, v. 203)
EPSTEIN, R.L. (1990) The semantic foundations of logic. Volume 1: Propositional logics.
Dordrecht
: Kluwer Academic Publishers.
FEITOSA, H.A. (1997) Traduções Conservativas (Conservative tranlations). Doctorate Thesis. Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas, Campinas.
FEITOSA, H.A., D’OTTAVIANO, I.M.L. (2001) Conservative translations. Annals of Pure and Applied Logic,
Amsterdam
, v. 108, p. 205-227.
PRAWITZ, D., MALMNÄS, P.E. (1968) A survey of some connections between classical, intuitionistic and minimal logic. In: SCHMIDT, H. et alii. (Ed.) Contributions to mathematical logic.
Amsterdam
: North-Holland, p. 215-229.
SCHEER, M.C., D’OTTAVIANO, I.M.L. (2006) Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas. Revista Informação e Cognição, São Paulo, v. 4, p. 47-60.
WÓJCICKI, R. (1988) Theory of logical calculi: basic theory of consequence operations.
Dordrecht
: Kluwer, 1988. (Synthese Library, v. 199)