Hai mai provato a dare un’occhiata alla home page “LaTeX for logicians”? Ti riporto di seguito il link
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
non so se troverai una risposta qui, perché non ho molto chiaro qual è il tuo problema. Però dal tuo post (e dalla tua firma) credo che valga sicuramente la pena di dare un’occhiata. Soprattutto la sezione
“Stuff particularly useful for logicians”
potrebbe esserti d’aiuto, se non proprio per risolvere il tuo problema, almeno per avere informazioni da persone che hanno a che fare con LaTeX nella tua stessa area di interesse.
Questo sito è una miniera di informazioni.
Da una breve ricerca su google (“semantica computazionale”) risulta quest’altro link
http://cesare.dsi.uniroma1.it/~semantic/libro.html.
Il terzo capitolo è scaricabile. Devi fare qualcosa di simile?
Facci sapere
Ciao
Daniele