𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subformula semantics for strong negation systems

✍ Scribed by Seiki Akama

Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
421 KB
Volume
19
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LO
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
✍ Barbara Klunder; B. Klunder πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 510 KB

## Abstract The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos Ο΅ we can distinguish an object Ξ› and its truth‐arrows such that sets Ο΅(__A__, Ξ›) (for any object __A__) have a Nelson algebra structure. The obje

Negation functions based semantics for o
Negation functions based semantics for ordered linguistic labels
✍ VicenΓ§ Torra πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 812 KB

Mter arguing that in the knowledge acquisition framework experts cannot always supply a precise semantics for the linguistic labels they use, we show that negation functions over an ordered set of linguistics labels induce a semantics. We study the semantics induced by classical negation, functions