𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructing a Semantic Map for Textbooks

✍ Scribed by Vincent Miholic

Book ID
124364767
Year
1990
Weight
423 KB
Volume
33
Category
Article
ISSN
0022-4103

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive semantics for non-deducib
A constructive semantics for non-deducibility
✍ Francesco Ciraulo πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 157 KB

## 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