copertina indagini semantiche_0001_NEW
ISBN: 9788870882148
Pagine: 226
Anno: 1989
Edizione: 7088

Indagini semantiche sulle logiche intermedie proposizionali

Categoria: , , .

€26.00

Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si indicano quei sistemi logici chiusi sotto le regole di sostituzione e del modus ponens, che includono la logica intuizionistica proposizionale e sono inclusi nella logica classica proposizionale. Dall’indice: Il reticolo delle logichec; Semantica kripkeana e semantica algebrica; Il modello canonico; Strumenti per l’indagine sulla K-caratterizzabilità; Proprietà forti del reticolo delle logiche intermedie; Frammenti delle logiche intermedie.

Log in with your credentials

Forgot your details?