The following pages link to Andrzej Pietruszczak (Q631521):
Displayed 42 items.
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) (Q631522) (← links)
- A general concept of being a part of a whole (Q740203) (← links)
- The tense logic for Master Argument in Prior's reconstruction (Q1037591) (← links)
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures (Q1756598) (← links)
- Pure modal logic of names and tableau systems (Q1756600) (← links)
- Simplified Kripke-style semantics for some normal modal logics (Q2186691) (← links)
- A study in Grzegorczyk point-free topology. II: Spaces of points (Q2323642) (← links)
- Mereological sets of distributive classes (Q2738835) (← links)
- Classical mereology is not elementarily axiomatizable (Q2987752) (← links)
- Simplified Kripke style semantics for some very weak modal logics (Q3081996) (← links)
- A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (Q3295786) (← links)
- The Relations of Supremum and Mereological Sum in Partially Ordered Sets (Q3295805) (← links)
- (Q3400302) (← links)
- (Q3592801) (← links)
- (Q3592802) (← links)
- (Q3592804) (← links)
- Pieces of mereology (Q3592816) (← links)
- (Q4383726) (← links)
- (Q4391026) (← links)
- On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 (Q4576061) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- A comparison of two systems of point-free topology (Q4629293) (← links)
- (Q4781212) (← links)
- (Q4888338) (← links)
- On Modal Logics Defining Jaśkowski’s D2-Consequence (Q4912989) (← links)
- A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$ (Q5014048) (← links)
- Metamereology (Q5079351) (← links)
- (Q5199094) (← links)
- Foundations of the Theory of Parthood (Q5217848) (← links)
- On Modal Logics Defining Jaśkowski-Like Discussive Logics (Q5241525) (← links)
- (Q5411435) (← links)
- (Q5411448) (← links)
- (Q5411457) (← links)
- (Q5411458) (← links)
- (Q5413329) (← links)
- (Q5413335) (← links)
- (Q5413343) (← links)
- (Q5445162) (← links)
- Full Development of Tarski's Geometry of Solids (Q5504173) (← links)
- On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories (Q5742615) (← links)
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS (Q6041348) (← links)
- The calculus of names -- The legacy of Jan {\L}ukasiewicz (Q6454369) (← links)