20 found
Order:
  1.  22
    A Characterisation of Some $$\mathbf {Z}$$ Z -Like Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2018 - Logica Universalis 12 (1-2):207-219.
    In Béziau a logic \ was defined with the help of the modal logic \. In it, the negation operator is understood as meaning ‘it is not necessary that’. The strong soundness–completeness result for \ with respect to a version of Kripke semantics was also given there. Following the formulation of \ we can talk about \-like logics or Beziau-style logics if we consider other modal logics instead of \—such a possibility has been mentioned in [1]. The correspondence result between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  13
    Axiomatizing a Minimal Discussive Logic.Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2023 - Studia Logica 111 (5):855-895.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  25
    On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2020 - Studia Logica 108 (5):1087-1123.
    In the context of modal logics one standardly considers two modal operators: possibility ) and necessity ) [see for example Chellas ]. If the classical negation is present these operators can be treated as inter-definable. However, negative modalities ) and ) are also considered in the literature [see for example Béziau ; Došen :3–14, 1984); Gödel, in: Feferman, Collected works, vol 1, Publications 1929–1936, Oxford University Press, New York, 1986, p. 300; Lewis and Langford ]. Both of them can be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  25
    Syntactical and Semantical Characterization of a Class of Paraconsistent Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2005 - Bulletin of the Section of Logic 34 (4):229-248.
  5.  14
    A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2.Marek Nasieniewski & Andrzej Pietruszczak - 2011 - Studia Logica 97 (1):161-182.
    Jaśkowski’s discussive logic D2 was formulated with the help of the modal logic S5 as follows (see [7, 8]): \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \in {D_{2}}}$$\end{document} iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\rm S}5}$$\end{document}, where (–)• is a translation of discussive formulae from Ford into the modal language. We say that a modal logic L defines D2 iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm D}_{2} = (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  19
    Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2017 - Bulletin of the Section of Logic 46 (3/4).
    In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics. In a logic N has been investigated in the language with negation; (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  31
    A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$.Krystyna Mruczek-Nasieniewska, Marek Nasieniewski & Andrzej Pietruszczak - 2019 - Logic Journal of the IGPL 27 (4):451-477.
    In Jaśkowski’s model of discussion, discussive connectives represent certain interactions that can hold between debaters. However, it is not possible within the model for participants to use explicit modal operators. In the paper we present a modal extension of the discussive logic $\textbf{D}_{\textbf{2}}$ that formally corresponds to an extended version of Jaśkowski’s model of discussion that permits such a use. This logic is denoted by $\textbf{m}\textbf{D}_{\textbf{2}}$. We present philosophical motivations for the formulation of this logic. We also give syntactic characterizations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  17
    A comparison of two approaches to parainconsistency: Flemish and Polish.Marek Nasieniewski - 2001 - Logic and Logical Philosophy 9:47.
    In this paper we present a comparison of certain inconsistencyadaptive logics and Jaśkowski’s logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  23
    The weakest regular modal logic defining Jaskowski's logic D2.Marek Nasieniewski & Andrzej Pietruszczak - 2008 - Bulletin of the Section of Logic 37 (3/4):197-210.
  10.  22
    On the weakest modal logics defining jaśkowski's logic d2 and the d2-consequence.Marek Nasieniewski & Andrzej Pietruszczak - 2012 - Bulletin of the Section of Logic 41 (3/4):215-232.
  11.  12
    A Segerberg-like connection between certain classes of propositional logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2013 - Bulletin of the Section of Logic 42 (1/2):43-52.
  12.  25
    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.
  13.  48
    Is Stoic logic classical?Marek Nasieniewski - 1998 - Logic and Logical Philosophy 6:55.
    In this paper I would like to argue that Stoic logic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  10
    On Modal Logics Defining Jaśkowski's D2-Consequence.Marek Nasieniewski & Andrzej Pietruszczak - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 141--161.
  15. List of participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
    No categories
     
    Export citation  
     
    Bookmark  
  16. An Adaptive Logic Based on Jaskowski's Logic D2.Marek Nasieniewski - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    Bookmark  
  17.  46
    A relational syllogistic.Marek Nasieniewski - 2004 - Logic and Logical Philosophy 13:139-145.
    In [1] J. Perzanowski formulated, among others, an ontology expressed in the relational language. He presented some interesting connections which hold between these relations. In the present paper we focus on further analysis of these relations.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  18.  21
    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.
  19.  2
    Wprowadzenie do logik adaptywnych.Marek Nasieniewski - 2008 - Toruń: Wydawn. Naukowe Uniwersytetu Mikołaja Kopernika.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Review of Nugayev's book "Reconstruction of Scientific Theory Change". [REVIEW]Marek Nasieniewski & Rinat M. Nugayev - 1997 - Ruch Filozoficzny (1):106-120.
    The monograph is aimed at an analysis of the reasons for theory change in science. The writer develops a model of theory change according to which the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of ‘old’ fundamental theories with each other.
    Direct download  
     
    Export citation  
     
    Bookmark