Andrzej Pietruszczak

17 papers Journal 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Jaśkowski's Discussive Logic to Contemporary Paraconsistent Systems.
Stud Logica
Marek Nasieniewski, Andrzej Pietruszczak
2025 J jnl
Modal Discussive Logics.
J. Philos. Log.
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
2025 J jnl
The Calculus of Names - The Legacy of Jan Łukasiewicz.
Axioms
Andrzej Pietruszczak
2023 J jnl
Grzegorczyk Points and filters in Boolean contact Algebras.
Rev. Symb. Log.
Rafal Gruszczynski, Andrzej Pietruszczak
2020 J jnl
Simplified Kripke-Style Semantics for Some Normal Modal Logics.
Stud Logica
Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin
2019 J jnl
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.
Stud Logica
Rafal Gruszczynski, Andrzej Pietruszczak
2019 J jnl
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|.
Log. J. IGPL
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
2018 J jnl
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.
Stud Logica
Rafal Gruszczynski, Andrzej Pietruszczak
2018 J jnl
Pure Modal Logic of Names and Tableau Systems.
Stud Logica
Andrzej Pietruszczak, Tomasz Jarmuzek
2014 J jnl
A General Concept of Being a Part of a Whole.
Notre Dame J. Formal Log.
Andrzej Pietruszczak
2013 — ch.
On Modal Logics Defining Jaśkowski's D
Paraconsistency: Logic and Applications
Marek Nasieniewski, Andrzej Pietruszczak
2011 J jnl
A Method of Generating Modal Logics Defining Jaśkowski's Discussive Logic D
Stud Logica
Marek Nasieniewski, Andrzej Pietruszczak
2009 J jnl
The Tense Logic for Master Argument in Prior's Reconstruction.
Stud Logica
Tomasz Jarmuzek, Andrzej Pietruszczak
2008 J jnl
Full Development of Tarski's Geometry of Solids.
Bull. Symb. Log.
Rafal Gruszczynski, Andrzej Pietruszczak
2007 J jnl
Pieri's Structures.
Fundam. Informaticae
Rafal Gruszczynski, Andrzej Pietruszczak
1996 J jnl
Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants).
Reports Math. Log.
Andrzej Pietruszczak
1994 J jnl
Cardinalities of Models for Pure Calculi of Names.
Reports Math. Log.
Andrzej Pietruszczak