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
  • [artykuł w czasopiśmie, 2021]
  • TytułA multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits
    AutorzyKrystian JOBCZYK
    ŹródłoElectronics [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 10 iss. 15 art. no. 1817, s. 1-27. — tekst: https://www.mdpi.com/2079-9292/10/15/1817/pdf

  • 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
  • [artykuł w czasopiśmie, 2019]
  • TytułMulti-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions
    AutorzyKrystian JOBCZYK
    ŹródłoJournal of Intelligent & Fuzzy Systems. — 2019 vol. 36 iss. 5 spec. iss. Intelligent and Fuzzy Systems applied to Language & Knowledge Engineering, s. 5091-5103

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

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

4
  • [artykuł w czasopiśmie, 2022]
  • TytułPutnam's model-theoretic argument (meta)reconstructed : in the mirror of Carpintero's and van Douven's interpretations
    AutorzyKrystian JOBCZYK
    ŹródłoSynthese. — 2022 vol. 200 iss. 6 art. no. 499, s. 1–37. — tekst: https://link.springer.com/content/pdf/10.1007/s11229-022-03960-z.pdf?pdf=button%20sticky

  • 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
  • [artykuł w czasopiśmie, 2020]
  • TytułThe fuzzified natural transformation between categorial functors and its selected categorial aspects
    AutorzyKrystian JOBCZYK
    ŹródłoSymmetry [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2020 vol. 12 iss. 9 art. no. 1578, s. 1–18. — tekst: https://www.mdpi.com/2073-8994/12/9/1578/pdf

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

    cyfrowy identyfikator dokumentu: 10.3390/sym12091578

6
7