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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: João Rasga