✦ LIBER ✦

Analytic completeness theorem for singular biprobability models

✍ Scribed by Radosav S. Đordević

Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 158 KB
Volume: 39
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19930390126

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

The aim of the paper is to prove tha analytic completeness theorem for a logic L(∫~1~, ∫~2~)~A~^s^ with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70.

📜 SIMILAR VOLUMES

ANALYTIC COMPLETENESS THEOREM FOR ABSOLU

ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS

✍ Radosav S. Đorđević 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

## Abstract Hoover [2] proved a completeness theorem for the logic L(∫)𝒜. The aim of this paper is to prove a similar completeness theorem with respect to product measurable biprobability models for a logic L(∫~1~, ∫~2~) with two integral operators. We prove: If __T__ is a ∑~1~ definable theory on

Barwise Completeness Theorems for Some B

Barwise Completeness Theorems for Some Biprobability Logics

✍ M. Rašković; R. Živaljević 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

Completeness Theorems For Modal Model Th

Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I

✍ J. A. Makowsky; A. Marcja 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 426 KB