Partial up and down logic

Jaspars, J.O.M.

This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to non-persistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of [Nelson 1949.]. We provide simple semantics, sequential calculi, completeness and decidability proofs.

Additional Metadata
ACM	Mathematical Logic (acm F.4.1), Logical Design (acm H.2.1), General (acm I.2.0)
MSC	Subsystems of classical logic (including intuitionistic logic) (msc 03B20), Modal logic (including the logic of norms) (msc 03B45), Many-valued logic (msc 03B50), Other nonclassical logic (msc 03B60), Knowledge representation (msc 68T30)
Publisher	CWI
Series	Department of Computer Science [CS]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jaspars, J. O. M. (1995). Partial up and down logic. Department of Computer Science [CS]. CWI.

Free Full Text ( Final Version , 299kb )

Partial up and down logic

Publication

Publication

Address

CWI researchers

Questions or comments?

Partial up and down logic

Publication

Publication

Workflow

Workflow

Add Content