Personal information

Activities

Employment (1)

Opole University of Technology: Opole, PL

1991-09-01 to present | professor P.O. (Faculty of Production Engineering and Logistics)
Employment
Source: Self-asserted source
Zofia Kostrzycka

Works (22)

Asymptotic comparison of the implicative fragments of certain fuzzy logics

2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2022
2022 | Conference paper
Contributors: Zofia Kostrzycka
Source: Self-asserted source
Zofia Kostrzycka

From intuitionism to brouwer's modal logic

Bulletin of the Section of Logic
2020 | Journal article
EID:

2-s2.0-85102084946

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier
grade
Preferred source (of 2)‎

Quantitative study of fuzzy logics

IEEE International Conference on Fuzzy Systems
2020 | Conference paper
EID:

2-s2.0-85090498211

Part of ISSN: 10987584
Contributors: Kostrzycka, Z.; Zaionc, M.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On interpolation in next(kb.alt(2))

Bulletin of the Section of Logic
2018 | Journal article
EID:

2-s2.0-85068512258

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

Normal Modal Logics Determined by Aligned Clusters

Studia Logica
2017 | Journal article
EID:

2-s2.0-84979498159

Part of ISSN: 15728730 00393215
Contributors: Kostrzycka, Z.; Miyazaki, Y.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier
grade
Preferred source (of 2)‎

Interpolation in normal extensions of the brouwer logic

Bulletin of the Section of Logic
2016 | Journal article
EID:

2-s2.0-85028074891

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On Halld-En Completeness of modal logics determined by homogeneous kripke frames

Bulletin of the Section of Logic
2015 | Journal article
EID:

2-s2.0-84964461240

Part of ISSN: 01380680
Contributors: Kostrazycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On linear Brouwerian logics

Mathematical Logic Quarterly
2014 | Journal article
EID:

2-s2.0-84905238418

Part of ISSN: 15213870 09425616
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On interpolation and hallden-completeness in next(KTB)

Bulletin of the Section of Logic
2012 | Journal article
EID:

2-s2.0-84870281073

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the family of logics determined by parasol-frames

Bulletin of the Section of Logic
2012 | Journal article
EID:

2-s2.0-84859555780

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On a finitely axiomatizable kripke incomplete logic containing KTB

Journal of Logic and Computation
2009 | Journal article
EID:

2-s2.0-72649085566

Part of ISSN: 0955792X 1465363X
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the density of truth of locally finite logics

Journal of Logic and Computation
2009 | Journal article
EID:

2-s2.0-72649088725

Part of ISSN: 0955792X 1465363X
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

Asymptotic densities in logic and type theory

Studia Logica
2008 | Journal article
EID:

2-s2.0-43149106175

Part of ISSN: 00393215 15728730
Contributors: Kostrzycka, Z.; Zaionc, M.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On asymptotic divergency in equivalential logics

Mathematical Structures in Computer Science
2008 | Journal article
EID:

2-s2.0-40549091257

Part of ISSN: 09601295
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On non-compact logics in NEXT(KTB)

Mathematical Logic Quarterly
2008 | Journal article
EID:

2-s2.0-56849109581

Part of ISSN: 09425616 15213870
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the existence of a continuum of logics in next(KTB ⊕ <sub>2</sub>p → <sub>3</sub>p)

Bulletin of the Section of Logic
2007 | Journal article
EID:

2-s2.0-84896532459

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

The density of truth in monadic fragments of some intermediate logics

Journal of Logic, Language and Information
2007 | Journal article
EID:

2-s2.0-33947416222

Part of ISSN: 09258531 15729583
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On formulas of one variable in next(KTB)

Bulletin of the Section of Logic
2006 | Journal article
EID:

2-s2.0-56849114809

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On formulas with one variable in some fragment of grzegorczyk's modal logic

Bulletin of the Section of Logic
2004 | Journal article
EID:

2-s2.0-84896539275

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the density of truth in grzegorczyk's modal logic

Bulletin of the Section of Logic
2004 | Journal article
EID:

2-s2.0-43149124442

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the density of truth in dummett's logic

Bulletin of the Section of Logic
2003 | Journal article
EID:

2-s2.0-33947405641

Part of ISSN: 01380680
Contributors: Kostrzycka, Z.; Zaionc, M.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier

On the density of truth of implicational parts of intuitionistic and classical logics

Journal of Applied Non-Classical Logics
2003 | Journal article
EID:

2-s2.0-54249107278

Part of ISSN: 11663081 19585780
Contributors: Kostrzycka, Z.
Source: Self-asserted source
Zofia Kostrzycka via Scopus - Elsevier