Aristotle’s Syllogistic as a Deductive System by Piotr Kulicki

Get full text

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain by Xin Sun, Piotr Kulicki, Mirek Sopek

Get full text

Multi-Party Quantum Byzantine Agreement without Entanglement by Xin Sun, Piotr Kulicki, Mirek Sopek

Get full text

Lottery and Auction on Quantum Blockchain by Xin Sun, Piotr Kulicki, Mirek Sopek

Get full text

Reasoning about Social Phenomena by Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki, Beishui Liao

Get full text

Tableaux for some deontic logics with the explicit permission operator by Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki

Get full text

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic by Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki

Get full text

Semantic representation of proved and disproved statements extracted from scientific papers: Meat science case study by Piotr Kulicki, Robert Trypuz, Rafał Trójczak, Jerzy Wierzbicki, Alicja Woźniak

Get full text