12 found
Order:
  1.  11
    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   2 citations  
  2.  15
    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.
  3.  6
    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   1 citation  
  4.  10
    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.
  5. P-Compatible Abelian Groups.Krystyna Mruczek-Nasieniewska - 2005 - Logic and Logical Philosophy 14 (2):253-263.
    Let τ : F → N be a type of a variety V . Every partition Pof the set F determines a so-called P-compatible variety. We consider thevarieties GnP defined by so-called P-compatible identities of Abelian groupswith exponent n. Besides, we study a connection between the lattice of allpartitions of the set F and the lattice of all subvarieties of the variety definedby some kind of P-compatible identities — externally compatible identitiessatisfied in the class of all Abelian groups with exponent (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  68
    The Varieties Defined by P - Compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21 - 35.
    In the present paper we give syntactical and semantical characterization of the class of algebras defined by P-compatible identities of modular ortholattices. We also describe the lattice of some subvarieties of the variety MOL Ex defined by so called externally compatible identities of modular ortholattices.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  31
    The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent N.Katarzyna Gajewska-Kurdziel & Krystyna Mruczek-Nasieniewska - 2007 - Studia Logica 85 (3):361-379.
    The lattices of varieties were studied in many works (see [4], [5], [11], [24], [31]). In this paper we describe the lattice of all subvarieties of the variety $G_{Ex}^n$ defined by so called externally compatible identities of Abelian groups and the identity xⁿ ≈ yxⁿ. The notation in this paper is the same as in [2].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  18
    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  
  9.  20
    Externally Compatible Abelian Groups of the Type (2,1,0).Krystyna Mruczek-Nasieniewska - 2006 - Logic and Logical Philosophy 15 (3):239-250.
    In [4] the lattice of all subvarieties of the variety G n Ex defined by so called externally compatible identities of Abelian groups together with the identity x n ≈ y n , for any n ∈ N and n ≥ 1 was described. In that paper classes of models of the type (2,1) where considered. It appears that diagrams of lattices of subvariaties defined by externally compatible identities satisfied in a given equational theory depend on the language of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  9
    On Some Extensions of the Class of MV-Algebras.Krystyna Mruczek-Nasieniewska - 2016 - Logic and Logical Philosophy 25 (1).
  12.  12
    The Varieties Defined by P-Compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21-35.
    In the present paper we give syntactical and semantical characterization of the class of algebras defined by P-compatible identities of modular ortholattices. We also describe the lattice of some subvarieties of the variety MOLEx defined by so called externally compatible identities of modular ortholattices.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark