Partial Up and Down Logic
Jaspars, Jan O. M.
Notre Dame J. Formal Logic, Tome 36 (1995) no. 1, p. 134-157 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to nonpersistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of Nelson. We provide simple semantics, sequential calculi, completeness and decidability proofs.
Publié le : 1995-01-14
Classification:  03B45,  03B25,  03B50 
@article{1040308832,
     author = {Jaspars, Jan O. M.},
     title = {Partial Up and Down Logic},
     journal = {Notre Dame J. Formal Logic},
     volume = {36},
     number = {1},
     year = {1995},
     pages = { 134-157},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1040308832}
}

Jaspars, Jan O. M. Partial Up and Down Logic. Notre Dame J. Formal Logic, Tome 36 (1995) no. 1, pp.  134-157. http://gdmltest.u-ga.fr/item/1040308832/