Badino, Giovanni; Provenzale, Antonello; Vincenzi, Antonio Amalgamation and physical theories. (Italian) Zbl 0614.03035 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 607-612 (1985). For the entire collection see Zbl 0568.00004. MSC: 03C95 Abstract model theory Keywords:generalized logic; strong amalgamation; Robinson consistency; experimental logic Citations:Zbl 0568.00004 PDFBibTeX XML