Krystyna Mruczek-Nasieniewska

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Topics

Classical Logic

Propositional Calculus

Logical Framework

Top Venues

Logica Universalis

Publications

Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin
Axiomatizing a Minimal Discussive Logic. Stud Logica 111 (5) (2023)
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics. Stud Logica 108 (5) (2020)
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
A Kotas-Style Characterisation of Minimal Discussive Logic. Axioms 8 (4) (2019)
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|. Log. J. IGPL 27 (4) (2019)
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
A Characterisation of Some \(\mathbf {Z}\) -Like Logics. Logica Universalis 12 (1-2) (2018)
Krystyna Mruczek-Nasieniewska
The Varieties Defined by P-compatible Identities of Modular Ortholattices. Stud Logica 95 (1-2) (2010)
Katarzyna Gajewska-Kurdziel, Krystyna Mruczek-Nasieniewska
. Stud Logica 85 (3) (2007)