The axiomatizations of S.Jaskowski's discussive system

Bulletin of the Section of Logic 2 (1):12-17 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02120494

Other Versions

reprint Kotas, Jerzy (1974) "The axiomatization of S. Jaśkowski's discussive system". Studia Logica 33(2):195-200

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Remarks on Perzanowski's modal system'.J. J. Blaszczuk & W. Dziobiak - 1975 - Bulletin of the Section of Logic 4 (2):57-64.
On discussive set theory.Lafayette de Moraes - 1985 - Bulletin of the Section of Logic 14 (4):144-148.
Semantics for regular logics connected with Jaskowski's discussive logic D 2'.Marek Nasieniewski & Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):173-187.
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
On Paracomplete Versions of Jaśkowski's Discussive Logic.Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2024 - Bulletin of the Section of Logic 53 (1):29-61.
New axiomatizations of the weakest regular modal logic defining Jaskowski's logic D 2'.Marek Nasieniewski & Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (1/2):45-50.
An algorithm for finding finite axiomatizations of finite intermediate logics.Andrzej Wronski - 1972 - Bulletin of the Section of Logic 1 (1):38-44.
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.Marcin Jukiewicz, Marek Nasieniewski, Yaroslav Petrukhin & Vasily Shangin - forthcoming - Logic Journal of the IGPL.
An algorithm for finding finite axiomatizations of finite intermediate logics by means of jankov formulas.Eugeniusz Tomaszewski - 2002 - Bulletin of the Section of Logic 31 (1):1-6.

Analytics

Added to PP
2015-02-02

Downloads
21 (#1,017,991)

6 months
8 (#622,456)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Discussive sentential calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references