Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] che l'indicizzazione degli operatori modali si può applicare illlimitatamente ad altri linguaggi, come quello della logicadeontica o temporale. Definendo operazioni sugli indici e ‒ a livello semantico ‒ operazioni sulle relazioni di accessibilità ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
deontico
deòntico agg. [der. del gr. (τό) δέον -οντος «il dovere»] (pl. m. -ci). – Propr., che riguarda il dovere, che si riferisce all’obbligatorietà. Il termine è usato quasi esclusivam. nella locuz. logica d., la logica, di recente formulazione,...