Conservative Translations Revisited

Ramos, J; Rasga, J; Sernadas, C

Sernadas, C (通讯作者),Univ Lisbon, Dept Math, Inst Super Tecn, Lisbon, Portugal.;Sernadas, C (通讯作者),Inst Telecomun, Aveiro, Portugal.

JOURNAL OF PHILOSOPHICAL LOGIC, 2023; 52 (3): 889

Abstract

We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in m......

Full Text Link