𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A semantical study of constructible falsity

✍ Scribed by Richmond H. Thomason

Publisher
John Wiley and Sons
Year
1969
Tongue
English
Weight
645 KB
Volume
15
Category
Article
ISSN
0044-3050

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