A constructive semantics for non‐deducibility |
| |
| Authors: | Francesco Ciraulo |
| |
| Institution: | Dipartimento di Matematica ed Applicazioni, Università degli Studi di Palermo, Via Archirafi, 34‐I‐90123, Palermo, Italy |
| |
| Abstract: | This paper provides a constructive topological semantics for non‐deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co‐induction are two needful tools. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
| Keywords: | Non‐deducibility formal topology binary positivity co‐induction constructive mathematics |
|
|
