The lazy logic of partial terms

The Logic of Partial Terms LPT is a strict negative free logic that provides an economical framework for developing many traditional mathematical theories having partial functions. In these traditional theories, all functions and predicates are strict. For example, if a unary function (predicate) is...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of symbolic logic 2002-09, Vol.67 (3), p.1065-1077
1. Verfasser:	Gumb, Raymond D.
Format:	Artikel
Sprache:	eng
Schlagworte:	03B60 03B70 68N15 68Q60 Ambivalence Axioms Denotational semantics Free logic Mathematical functions Mathematical logic Predicates Programming languages Semantics Uniqueness
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!