Kleene’s Logic is identified with the logic arising from the class of normal De Morgan algebras with a single fixed point for negation. Semantics of three-valued logic is presented from an algebraic point of view. An algebraic proof of the strong completeness theorem for Kleene’s Logic is given.
Kleene's logic and De Morgan algebras
NEGRI, Maurizio
2006-01-01
Abstract
Kleene’s Logic is identified with the logic arising from the class of normal De Morgan algebras with a single fixed point for negation. Semantics of three-valued logic is presented from an algebraic point of view. An algebraic proof of the strong completeness theorem for Kleene’s Logic is given.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Kleene's logic and de Morgan algebras.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
177.53 kB
Formato
Adobe PDF
|
177.53 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
