✦ LIBER ✦

Definability theorems in normal extensions of the probability logic

✍ Scribed by Larisa L. Maksimova

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 546 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370203

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensions of Makinson's Completeness Th

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

An analog of Beth's theorem in normal ex

An analog of Beth's theorem in normal extensions of the modal logic K4

✍ L. L. Maksimova 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 814 KB

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ L. L. Maksimova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 KB

Definability in the Existential Theory o

Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory

✍ J. Richard Büchi†; Steven Senger 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 414 KB 👁 1 views

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

✍ Mingsheng Ying 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 242 KB

## Abstract In [This Zeitschrift 25 (1979), 45‐52, 119‐134, 447‐464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generaliz

Probability implication in the logics of

Probability implication in the logics of classical and quantum mechanics

✍ Sŀawomir Bugajski 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 554 KB