papers
Publications (3)
math.LO2005
Weakly complete axiomatization of exogenous quantum propositional logic
P. Mateus, A. Sernadas
math.LO2018
Probabilistic logic of quantum observations
A. Sernadas, J. Rasga, C. Sernadas +2
cs.LO2016
Decision and optimization problems in the Unreliable-Circuit Logic
J. Rasga, C. Sernadas, P. Mateus +1