A partial logic of descriptions
Let a "partial logic" for a first order predicate language L be a formal proof-theory PT for sentences of L together with a model theoretic semantics for PT which can be considered a generalization of classical first-order Tarskian semantics in the following sense: if M is a model for P...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2010
|
| Online Access: | http://hdl.handle.net/2429/26358 |