CLASSICAL LOGIC

Gerla G., Lettieri A., Quasicorpi di dimensione infinita sul proprio nucleo, Rend. Acc. Sci. Fis. Mat. della Soc. Naz. Sc. Lett. e Arti di Napoli, 46 (1979) 609-618.

 

Criscuolo G., Gerla G., Un raffronto fra limiti ricorsivi e vari tipi di  riducibilità, in "Codici, Complessità di Calcolo e Linguaggi Formali", Liguori Ed. Napoli (1979).

 

Criscuolo G., Gerla G., tt-riducibilità e limiti ricorsivi, Le Matematiche 31 (1979) 94-103. pdf

 

Gerla G., Una generalizzazione della gerarchia di Ershov, B.U.M.I. 5 16-B (1979) 765-778. pdf

 

Gerla G., A note on the principle of predication, Notre Dame Journal of Formal Logic, 23 (1982) 471-472. pdf

 

Gerla G., Vaccaro V., Modal logic and model theory, Studia Logica, 43 (1984) 203-216. pdf

 

Gerla G., Transformational semantics for first order logic, Logique et Analysis, 117-118 (1987) 69-79. pdf

 

Guccione S., Gerla G., On the logical structure of verisimilitude, Epistemologia, 12 (1989) 161-166.