A model for non interpreted structures of logical systems. - R. Alali; C. Durante; J. J. Mercier (DAC, 1984)