Indagini semantiche sulle logiche intermedie proposizionali

€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.