๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

More on negation

โœ Scribed by Romane Clark


Publisher
Springer Netherlands
Year
1953
Tongue
English
Weight
536 KB
Volume
4
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Another negation of negation
โœ F. J. Adelmann ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 710 KB
A note on negation
โœ Charles B. Daniels ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer ๐ŸŒ English โš– 276 KB
Notes on Constructive Negation
โœ Grigori Mints ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 261 KB
On negation: Pure local rules
โœ Joรฃo Marcos ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 296 KB

This is an initial systematic study of the properties of negation from the point of view of abstract deductive systems. A unifying framework of multiple-conclusion consequence relations is adopted so as to allow us to explore symmetry in exposing and matching a great number of positive contextual su