Re: Pacchetto KMcalc

poxx” post=69795Buongiorno a tutti,

mi trovo a dover installare il pacchetto KMcalc per il calcolo deduttivo nella forma del sistema ideato in Kalish & Montague 1964 (da cui il nome KMcalc): qui un esempio.

Purtroppo il pacchetto non è presente nel Package Manager di MiKTeX per Windows, mentre da qui è possibile scaricarlo. Tuttavia non sono stato assolutamente in grado di installarlo.

Vi sarei grato se sapeste in qualche modo aiutarmi.

Copia semplicemente il file KMcalc.sty nella cartella del sorgente (rinominandolo senza il prefisso numerico, in altre parole il file si deve chiamare proprio KMcalc.sty).

Immagino sia un pacchetto non disponibile in CTAN.
R.