Combinatorial semantics

Abstract: "In ordinary first order logic, a valid inference in a language L is one in which the conclusion is true in every model of the language in which the premises are true. To accommodate inductive/uncertain/probabilistic nonmonotonic inference, we weaken that demand to the demand that the...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Kyburg, Henry Ely 1928- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Rochester, NY 1995
Schriftenreihe:	University of Rochester <Rochester, NY> / Department of Computer Science: Technical report 563
Schlagworte:	Formal languages > Semantics Logic Semantics (Philosophy) Uncertainty
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!