Found 13 Documents (Results 1–13)

Nominalistic logic: from naive set theory to intensional type theory. (English) Zbl 1226.03021

Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 57-85 (2008).
MSC:  03B15

Naive predicate logic. A logical theory of predication. (Naive Prädikatenlogik. Eine logische Theorie der Prädikation.) (German) Zbl 1081.03005

Logische Philosophie 10. Berlin: Logos Verlag; Berlin: Humboldt-Univ., Philosophische Fakultät I (Dissertation 2002) (ISBN 3-8325-0556-3/pbk). v, 227 p. (2004).
MSC:  03-02 03B10 03A05

A formal approach to nominalization of predicates. (English) Zbl 0793.03032

Martín-Vide, Carlos (ed.), Current issues in mathematical linguistics. 1st International Conference, ICML ’93, Virgili University, Tarragona, Catalonia, Spain, on March 30-31, 1993. Selected papers. Amsterdam: North-Holland. North-Holland Linguist. Ser. 56, 49-58 (1994).
MSC:  03B65 03B15

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field