Wykaz publikacji wybranego autora

Krystian Jobczyk, dr

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-6194-2737 orcid iD

ResearcherID: L-3738-2013

Scopus: 56523352400

PBN: 5e7093b6878c28a0473af9c5

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • A multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits / Krystian JOBCZYK // Electronics [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2079-9292. — 2021 vol. 10 iss. 15 art. no. 1817, s. 1-27. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 26-27, Abstr.. — Publikacja dostępna online od: 2021-07-29. — tekst: https://www.mdpi.com/2079-9292/10/15/1817/pdf

    orcid iD

  • keywords: Halpern–Shoham logic, interval temporal logic of Moszkowski, gradable varifiability, multi-valued logic, reasoning about digital circuits

    cyfrowy identyfikator dokumentu: 10.3390/electronics10151817

2
3

  • Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions / Krystian JOBCZYK // Journal of Intelligent & Fuzzy Systems ; ISSN 1064-1246. — 2019 vol. 36 iss. 5 spec. iss. Intelligent and Fuzzy Systems applied to Language & Knowledge Engineering, s. 5091-5103. — Bibliogr., Abstr.

    orcid iD

  • keywords: Halpern-Shoham logic, fuzzy deontic temporal expressions, fuzzy temporal logic, multi-valued deontic logic

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

4

  • Putnam's model-theoretic argument (meta)reconstructed : in the mirror of Carpintero's and van Douven's interpretations / Krystian JOBCZYK // Synthese ; ISSN 0039-7857. — 2022 vol. 200 iss. 6 art. no. 499, s. 1–37. — Bibliogr. s. 35–37, Abstr.. — Publikacja dostępna online od: 2022-11-24. — Dod. afiliacja Autora: The Saul Kripke Center, CUNY, New York, USA. — tekst: https://link.springer.com/content/pdf/10.1007/s11229-022-03960-z.pdf?pdf=button%20sticky

    orcid iD

  • keywords: Skolem-Loewenheim theorem, global descriptivism, model-theoretic argument, Putnam's anti-realism, Carpintero's interpretation of the model-theoretic argument, van Douven's interpretation of the model-theoretic argument

    cyfrowy identyfikator dokumentu: 10.1007/s11229-022-03960-z

5

  • The fuzzified natural transformation between categorial functors and its selected categorial aspects / Krystian JOBCZYK // Symmetry [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2073-8994. — 2020 vol. 12 iss. 9 art. no. 1578, s. 1–18. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 17–18, Abstr.. — Publikacja dostępna online od: 2020-09-22. — Dod. afiliacja Autora: Saul Kripke Center at CUNY, New York. — tekst: https://www.mdpi.com/2073-8994/12/9/1578/pdf

    orcid iD

  • keywords: combinatorics, fuzzy mathematics, fuzzy category theory, natural transformation

    cyfrowy identyfikator dokumentu: 10.3390/sym12091578

6

  • The fuzzy natural transformations, the algebra $P(\omega)$/fin and generalized encoding theory / Krystian JOBCZYK // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2022 vol. 10, s. 15135–15150. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 15150, Abstr.. — Publikacja dostępna online od: 2022-01-27. — Dod. afiliacja: City University of New York, USA. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9695485

    orcid iD

  • keywords: generalized encoding theory, Hamming distances, R programming, fuzzy natural transformation, P(omega)/fin

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3147165

7