Partial logic as a simple restriction of standard logic

Jan Kuper

Partial logic as a simple restriction of standard logic

Jan Kuper

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Computing Science in the Netherlands, CSN 1991
Subtitle of host publication	Jaarbeurs Utrecht 7 en 8 november 1991 : proceedings
Editors	Jan van Leeuwen
Place of Publication	Amsterdam
Publisher	Stichting Mathematisch Centrum
Pages	379-391
Number of pages	13
ISBN (Print)	9061964032 (dl. 1), 9061964040 (dl. 2)
Publication status	Published - 1 Sept 1991

1 Report

Partial logic as a simple restriction of standard logic
Kuper, J., 1991, Enschede: University of Twente. 17 p. (Memoranda informatica; vol. 91-73)
Research output: Book/Report › Report › Professional

Cite this

@inproceedings{93a842cd93894079a7b9dc7c5e570f58,

title = "Partial logic as a simple restriction of standard logic",

author = "Jan Kuper",

year = "1991",

month = sep,

day = "1",

language = "English",

isbn = "9061964032 (dl. 1)",

pages = "379--391",

editor = "{van Leeuwen}, Jan",

booktitle = "Computing Science in the Netherlands, CSN 1991",

publisher = "Stichting Mathematisch Centrum",

address = "Netherlands",

}

Partial logic as a simple restriction of standard logic. / Kuper, Jan.
Computing Science in the Netherlands, CSN 1991 : Jaarbeurs Utrecht 7 en 8 november 1991 : proceedings. ed. / Jan van Leeuwen. Amsterdam: Stichting Mathematisch Centrum, 1991. p. 379-391.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review