Aristotle’s Syllogistic as a Deductive System

by Piotr Kulicki
Published 2020-05-01

Od redaktorów numeru

by Kamila Dębowska-Kozłowska, Piotr Kulicki
Published 2019-09-01

Lottery and Auction on Quantum Blockchain

by Xin Sun, Piotr Kulicki, Mirek Sopek
Published 2020-12-01

Multi-Party Quantum Byzantine Agreement without Entanglement

by Xin Sun, Piotr Kulicki, Mirek Sopek
Published 2020-10-01

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

by Xin Sun, Piotr Kulicki, Mirek Sopek
Published 2021-08-01

Reasoning about Social Phenomena

by Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki, Beishui Liao
Published 2021-06-01

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic

by Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki
Published 2019-09-01

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
Published 2014-08-01