A model for non interpreted structures of logical systems.

R. Alali, C. Durante, J. J. Mercier

Browse the full DAC paper archive.