Showing 1–7 of 7 results for author: Sernadas, A

Decision and optimization problems in the Unreliable-Circuit Logic

Authors: J. Rasga, C. Sernadas, P. Mateus, A. Sernadas

Abstract: The ambition constrained validity and the model witness problems in the logic UCL, for reasoning about circuits with unreliable gates, are analyzed. Moreover, two additional problems, motivated by the applications, are studied. One consists of finding bounds on the reliability rate of the gates that ensure that a given circuit has an intended success rate. The other consists of finding a reliabili… ▽ More The ambition constrained validity and the model witness problems in the logic UCL, for reasoning about circuits with unreliable gates, are analyzed. Moreover, two additional problems, motivated by the applications, are studied. One consists of finding bounds on the reliability rate of the gates that ensure that a given circuit has an intended success rate. The other consists of finding a reliability rate of the gates that maximizes the success rate of a given circuit. Sound and complete algorithms are developed for these problems and their computational complexity is studied. △ Less

Submitted 28 July, 2016; originally announced August 2016.

Probabilistic logic of quantum observations

Authors: A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer, A. B. Henriques

Abstract: A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axi… ▽ More A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatization is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical propositional logic. △ Less

Submitted 19 March, 2018; v1 submitted 28 July, 2016; originally announced July 2016.

MSC Class: 03G12; 81P10; 03B48

On probability and logic

Authors: Joao Rasga, Cristina Sernadas, Amilcar Sernadas

Abstract: Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is proposed and shown to collapse into the classical entailment when the language is left unchanged. Motivated by this result, a decidable conservative enrichment… ▽ More Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is proposed and shown to collapse into the classical entailment when the language is left unchanged. Motivated by this result, a decidable conservative enrichment of propositional logic is proposed by giving the appropriate semantics to a new language construct that allows the constraining of the probability of a formula. A sound and weakly complete axiomatization is provided using the decidability of the theory of real closed ordered fields. △ Less

Submitted 12 January, 2016; originally announced January 2016.

MSC Class: 03B48; 03B60

Preservation of admissible rules when combining logics

Authors: Joao Rasga, Cristina Sernadas, Amilcar Sernadas

Abstract: Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of the set of admissible rules are also shown to be preserved, the latter with no penalty on the time complexity. Examples are provided for the meet-combination of… ▽ More Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of the set of admissible rules are also shown to be preserved, the latter with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics. △ Less

Submitted 12 January, 2016; originally announced January 2016.

MSC Class: 03B62; 03F03; 03B22

Journal ref: The Review of Symbolic Logic, Volume 9, Issue 4 December 2016, pp. 641-663

Epistemic nature of quantum reasoning

Authors: Alfredo B. Henriques, Amílcar Sernadas

Abstract: Doubts are raised concerning the usual interpretation of the alleged failure, by quantum mechanics, of the distributive law of classical logic. The difficulty raised by incompatible sets of observables is overcome within an epistemic enrichment of classical logic that provides the means for distinguishing between the value of a variable and its observation while retaining the classical connectives… ▽ More Doubts are raised concerning the usual interpretation of the alleged failure, by quantum mechanics, of the distributive law of classical logic. The difficulty raised by incompatible sets of observables is overcome within an epistemic enrichment of classical logic that provides the means for distinguishing between the value of a variable and its observation while retaining the classical connectives. △ Less

Submitted 24 April, 2015; originally announced April 2015.

Exponentially more concise quantum recognition of non-RMM regular languages

Authors: Daowen Qiu, Lvzhou Li, Paulo Mateus, Amilcar Sernadas

Abstract: We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of {\it one-way quantum finite automata} (1QFA), namely, {\it one-way quantum finite automata together with classical states} (1QFAC), which extends naturally both measure-only 1QFA and DFA an… ▽ More We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of {\it one-way quantum finite automata} (1QFA), namely, {\it one-way quantum finite automata together with classical states} (1QFAC), which extends naturally both measure-only 1QFA and DFA and whose state complexity is upper-bounded by both. The original contributions of the paper are the following. First, we show that the set of languages accepted by 1QFAC with bounded error consists precisely of all regular languages. Second, we prove that 1QFAC are at most exponentially more concise than DFA. Third, we show that the previous bound is tight for families of regular languages that are not recognized by measure-once (RMO), measure-many (RMM) and multi-letter 1QFA. % More concretely we exhibit regular languages $L^0(m)$ for $m$ prime such that: (i) $L^0(m)$ cannot be recognized by measure-once, measure-many and multi-letter 1QFA; (ii) the minimal DFA that accepts $L^0(m)$ has $O(m)$ states; (iii) there is a 1QFAC with constant classical states and $O(\log(m))$ quantum basis that accepts $L^0(m)$. Fourth, we give a polynomial-time algorithm for determining whether any two 1QFAC are equivalent. Finally, we show that state minimization of 1QFAC is decidable within EXPSPACE. We conclude the paper by posing some open problems. △ Less

Submitted 18 May, 2013; v1 submitted 8 September, 2009; originally announced September 2009.

Comments: 32 pages, 6 figures. We have added a number of results concerning the state complexity, and the proof methods for accepting languages and equivalence have been changed. Also, the title has been changed

Weakly complete axiomatization of exogenous quantum propositional logic

Authors: P. Mateus, A. Sernadas

Abstract: A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions. A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions. △ Less

Submitted 22 March, 2005; originally announced March 2005.

Comments: 28 pages

MSC Class: 03G12