Switch to: References

Citations of:

Frontiers of the discursive logic

Janusz Ciuciura

Bulletin of the Section of Logic 37 (2):81-92 (2008)

Add citations

You must login to add citations.

Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochumdetails Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic, General Works in Logic and Philosophy of Logic Logic in Philosophy in Logic and Philosophy of Logic Logical Connectives in Logic and Philosophy of Logic Nonclassical Logic, Misc in Logic and Philosophy of Logic Paraconsistent Logic in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Relevance Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark
Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2.Hitoshi Omori & Jesse Alama - 2018 - Studia Logica 106 (6):1163-1180.details We outline the rather complicated history of attempts at axiomatizing Jaśkowski’s discussive logic $$\mathbf {D_2}$$ D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing $$\mathbf {D_2}$$ D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of $$\mathbf {D_2}$$ D2 in the language Jaśkowski suggested in his second paper on discussive logic, by (...) Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 3 citations
Axiomatizing a Minimal Discussive Logic.Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2023 - Studia Logica 111 (5):855-895.details In the paper we analyse the problem of axiomatizing the minimal variant of discussive logic denoted as $$ {\textsf {D}}_{\textsf {0}}$$ D 0. Our aim is to give its axiomatization that would correspond to a known axiomatization of the original discussive logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2. The considered system is minimal in a class of discussive logics. It is defined similarly, as Jaśkowski’s logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2 but with the help of the deontic normal logic (...) Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 1 citation

1