João Rasga

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Conservative translations revisited	2023-06-13	Paper
Adding abductive reasoning to a propositional logic	2022-09-22	Paper
Revisiting separation: Algorithms and complexity	2022-01-05	Paper
Time-stamped claim logic	2022-01-05	Paper
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION	2021-08-05	Paper
Event-based time-stamped claim logic	2021-08-03	Paper
Decidability of logical theories and their combination	2020-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q5119553	2020-08-30	Paper
Essential structure of proofs as a measure of complexity	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5226947	2019-08-02	Paper
Probabilistic logic of quantum observations	2019-06-18	Paper
Decision and optimization problems in the unreliable-circuit logic	2019-01-08	Paper
On probability and logic	2018-04-09	Paper
Many-sorted equivalence of shiny and strongly polite theories	2018-02-02	Paper
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS	2017-05-31	Paper
A Roadmap to Decidability	2015-06-24	Paper
Fibring as biporting subsumes asymmetric combinations	2015-02-27	Paper
Approximate reasoning about logic circuits with single-fan-out unreliable gates	2015-02-11	Paper
Craig interpolation in the presence of unreliable connectives	2015-02-05	Paper
Preservation of Craig interpolation by the product of matrix logics	2014-04-17	Paper
Revisiting the Equivalence of Shininess and Politeness	2014-01-17	Paper
Completeness and interpolation of almost-everywhere quantification over finitely additive measures	2013-10-30	Paper
Importing logics: soundness and completeness preservation	2013-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4918417	2013-04-24	Paper
On combined connectives	2013-03-21	Paper
On meet-combination of logics	2013-01-14	Paper
Importing logics	2012-12-12	Paper
Fusion of sequent modal logic systems labelled with truth values	2010-12-14	Paper
A Graph-theoretic Account of Logics	2010-01-14	Paper
On Graph-theoretic Fibring of Logics	2010-01-14	Paper
Truth-values as labels: a general recipe for labelled deduction	2009-11-11	Paper
Interpolation via translations	2009-10-14	Paper
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification	2008-12-22	Paper
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES	2008-11-03	Paper
Preservation of Interpolation Features by Fibring	2008-03-12	Paper
Sufficient conditions for cut elimination with complexity analysis	2007-11-27	Paper
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737137	2004-08-11	Paper
Modulated fibring and the collapsing problem	2004-03-01	Paper
Fibring Labelled Deduction Systems	2003-05-29	Paper

Research outcomes over time

This page was built for person: João Rasga