✦ LIBER ✦

The axiomatization of S. Jaśkowski's discussive system

✍ Scribed by Jerzy Kotas

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 229 KB
Volume: 33
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120494

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the algebra of classes of formulae of

On the algebra of classes of formulae of Jaśkowski's discussive system

✍ Jerzy Kotas 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 496 KB

On the Jaśkowski's method of supposition

On the Jaśkowski's method of suppositions

✍ Ewa Orłowska 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 514 KB

A Method of Generating Modal Logics Defi

A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2

✍ Marek Nasieniewski; Andrzej Pietruszczak 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 311 KB

Levesque's axiomatization of only knowin

Levesque's axiomatization of only knowing is incomplete

✍ Joseph Y. Halpern; Gerhard Lakemeyer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 463 KB

We show that the axiomatization given by Levesque for his logic of "only knowing" [ 21, which he showed to be sound and complete for the unquantified version of the logic and conjectured to be complete for the full logic, is in fact incomplete.

Simplifying von Plato's axiomatization o

Simplifying von Plato's axiomatization of Constructive Apartness Geometry

✍ Dafa Li; Peifa Jia; Xinxin Li 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 123 KB

In the 1920s Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used di erent concepts to axiomatize it. He used 14 axioms to formulate constructive apartness geometry, seven of which have occurrences of negation. In this paper we show with the help of ANDP, a theorem prove

An Axiomatization of Nesterenko′s Method

An Axiomatization of Nesterenko′s Method and Applications On Mahler Functions

✍ T. Topfer 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 738 KB