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:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
