Studia Logica 66 (1):147-163 (2000)

Francois Lepage
Université de Montréal
This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026705214659
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,920
Through your library

References found in this work BETA

Partial Functions in Type Theory.François Lepage - 1992 - Notre Dame Journal of Formal Logic 33 (4):493-516.

Add more references

Citations of this work BETA

Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.

Add more citations

Similar books and articles


Added to PP index

Total views
41 ( #255,750 of 2,439,320 )

Recent downloads (6 months)
1 ( #434,168 of 2,439,320 )

How can I increase my downloads?


My notes