Some Aspects of Polyadic Inductive Logic

We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.

• Type: Journal
• Year: 2008
• Where: SLOGICA
• Authors: Jürgen Landes, Jeff B. Paris, Alena Vencovská
• Keywords: Brief Account, Finetti Style Representation, Polyadic Inductive Logic, SLOGICA 2008