 As mentioned in  section 2,  there is a converse direction: the splitting methodology in which a given logic system is decomposed into other systems. The possible-translations semantics (in short, PTS), introduced in Carnielli 1990 (see also Carnielli 2000), is one of the few supporters of this viewpoint.