✦ LIBER ✦

A probabilistic extension of intuitionistic logic

✍ Scribed by Zoran Marković; Zoran Ognjanović; Miodrag Rašković

Publisher: John Wiley and Sons
Year: 2003
Tongue: English
Weight: 173 KB
Volume: 49
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310044

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P~≥s~α, with the intended meaning “the probability of truthfulness of α is at least s”. We describe the corresponding class of models, which are Kripke models with a naturally arising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable.

📜 SIMILAR VOLUMES

A note on dual-intuitionistic logic

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^−^.

A Bounded Translation of Intuitionistic

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

The Semantic Completeness of a Global In

The Semantic Completeness of a Global Intuitionistic Logic

✍ Hiroshi Aoyama 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar system

A Companion to Philosophical Logic || Ma

A Companion to Philosophical Logic || Many-Valued, Free, and Intuitionistic Logics

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 90 KB 👁 1 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Note on a Subsystem Of Intuitionistic

A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

✍ Pierluigi Minari 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 1 views

A Petri net model for probabilistic logi

A Petri net model for probabilistic logic

✍ Chuang Lin; Y. T. Wu 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 815 KB

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially w