Wepresent a constructive analysis of the logical notions of satisfiability and consistency for first-order intuitionistic formulae. In particular, we use formal topology theory to provide a positive semantics for satisfiability. Then we propose a ‘‘co-inductive’’ logical calculus, which captures the positive content of consistency.
A constructive investigation of satisfiability
CIRAULO, FRANCESCO
2012
Abstract
Wepresent a constructive analysis of the logical notions of satisfiability and consistency for first-order intuitionistic formulae. In particular, we use formal topology theory to provide a positive semantics for satisfiability. Then we propose a ‘‘co-inductive’’ logical calculus, which captures the positive content of consistency.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
S0168007211000959.pdf
Accesso riservato
Tipologia:
Published (Publisher's Version of Record)
Licenza:
Accesso privato - non pubblico
Dimensione
254.55 kB
Formato
Adobe PDF
|
254.55 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
