Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Piotr Kulicki"'
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 281-295 (2022)
In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means
Externí odkaz:
https://doaj.org/article/cc221dfc265c428390869b91e6730615
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 2, Pp 125-129 (2021)
Externí odkaz:
https://doaj.org/article/04df4f96746c4c2d8760331da6d00c59
Publikováno v:
Entropy, Vol 23, Iss 9, p 1120 (2021)
This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, cal
Externí odkaz:
https://doaj.org/article/b90be62fc5cb493a8fb3755b8ed14e2b
Publikováno v:
Studia Semiotyczne, Vol 32, Iss 1 (2019)
DOI: http://doi.org/10.26333/sts.xxxii1.01 Rozprawy zebrane w niniejszym numerze „Studiów Semiotycznych” są rezultatem konferencji Argumentacja i retoryka klasyczna (Lublin, 25–26.10.2017 r.) zorganizowanej przez Wydział Filozofii KUL ora
Externí odkaz:
https://doaj.org/article/f7a1d958c8f24e169838e2aaff5fb6af
Publikováno v:
Entropy, Vol 22, Iss 12, p 1377 (2020)
This paper proposes a protocol for lottery and a protocol for auction on quantum Blockchain. Our protocol of lottery satisfies randomness, unpredictability, unforgeability, verifiability, decentralization and unconditional security. Our protocol of a
Externí odkaz:
https://doaj.org/article/ff193773b18d40ae8993e4a40f20122c
Publikováno v:
Entropy, Vol 22, Iss 10, p 1152 (2020)
In this paper, we propose a protocol of quantum communication to achieve Byzantine agreement among multiple parties. Our protocol’s striking feature compared to the existing protocols is that we do not use entanglement to achieve the agreement. The
Externí odkaz:
https://doaj.org/article/e312ac06c0bb493b9b6143eff076d039
Autor:
Piotr Kulicki
Publikováno v:
Axioms, Vol 9, Iss 2, p 56 (2020)
Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods. In the paper w
Externí odkaz:
https://doaj.org/article/a9807cd10c504355bb188d2c6f0496d1
Publikováno v:
Information Processing in Agriculture, Vol 1, Iss 1, Pp 66-72 (2014)
The article presents an ontology called “Science” designed for representing proved and disproved statements extracted from scientific papers from the database of the ProOptiBeef project. We argue that the proved and disproved statements are the b
Externí odkaz:
https://doaj.org/article/d99c8b16ebbc4325a2828bdd082808af
Publikováno v:
Entropy, Vol 21, Iss 9, p 887 (2019)
While Blockchain technology is universally considered as a significant technology for the near future, some of its pillars are under a threat of another thriving technology, Quantum Computing. In this paper, we propose important safeguard measures ag
Externí odkaz:
https://doaj.org/article/e054f04a173d4fd7b81fdbe63be20b80
Publikováno v:
Studia Logica.
In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic bringing it about that. These systems are usually studied within the neighbour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c1ebfd8adf8859f1aafdba00ed4a8e2
https://doi.org/10.1007/s11225-022-10030-5
https://doi.org/10.1007/s11225-022-10030-5