Google Scholar profile

Preprints available from this local repository

A. Sernadas, J. Rasga, C Sernadas, L. Alcácer, and A. B. Henriques. Probabilistic logic of quantum observations. Preprint, CMAF-IO and IST, U Lisboa, 1049-001 Lisboa, Portugal, 2016. Submitted for publication.

A. Sernadas, J. Rasga, and C. Sernadas. On probability and logic. Preprint, CMAF-IO and IST, U Lisboa, 1049-001 Lisboa, Portugal, 2015. Submitted for publication.

F. Casal and J. Rasga. Many-Sorted Equivalence of Shiny and Strongly Polite Theories. Journal of Automated Reasoning, in print.

J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the Unreliable-Circuit Logic. Logic Journal of the IGPL, in print.

J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, 9(4):641--663, 2016.

J. Rasga, C. Sernadas, and A. Sernadas. A roadmap to decidability. In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, Studies in Universal Logic, pages 423--445. Birkhäuser Basel, Springer, 2015.

A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Reasoning about logic circuits with independent input errors. South American Journal of Logic, 1(1):135--162, 2015.

J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. Studia Logica, 102(5):1041--1071, 2014.

J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence of unreliable connectives. Logica Universalis, 8(3-4):423--446, 2014.

A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates. Journal of Logic and Computation, 24(5):1023--1069, 2014.

F. Casal and J. Rasga. Revisiting the equivalence of shininess and politeness. In A. Middeldorp K. McMillan and A. Voronkov, editors, International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), volume 8312 of Lecture Notes in Computer Science, pages 198--212. Springer-Verlag, 2013.

J. Rasga, W. Lotfallah, and C. Sernadas. Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Mathematical Logic Quarterly, 59(4--5):286--302, 2013.

J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and completeness preservation. Studia Logica, 101(1):117--155, 2013.

C. Sernadas, J. Rasga, and A. Sernadas. Preservation of Craig interpolation by the product of matrix logics. Journal of Applied Logic, 11(3):328--349, 2013.

J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. Studia Logica, 100(3):545--581, 2012.

A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics. Journal of Logic and Computation, 22(6):1453--1470, 2012.

A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. Logica Universalis, 5(2):205--224, 2011.

A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, volume 17 of Tribute Series, pages 321--338. College Publications, London, 2011.

J. Rasga, K. Roggia, and C. Sernadas. Fusion of sequent modal logic systems labelled with truth values. Logic Journal of the IGPL, 18(6):893--920, 2010.

W. Carnielli, J. Rasga, and C. Sernadas. Interpolation via translations. Mathematical Logic Quarterly, 55(5):515--534, 2009.

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation, 19:1281--1320, 2009.

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation, 19:1321--1357, 2009.

J. Bouda, P. Mateus, N. Paunkovic, and J. Rasga. On the power of quantum tamper-proof devices. International Journal of Quantum Information, 6(2):281--302, 2008.

W. A. Carnielli, J. Rasga, and C. Sernadas. Preservation of interpolation features by fibring. Journal of Logic and Computation, 18(1):123--151, 2008.

L. Cruz-Filipe, J. Rasga, A. Sernadas, and C. Sernadas. A complete axiomatization of discrete-measure almost-everywhere quantification. Journal of Logic and Computation, 18(6):885--911, 2008.

P. Mateus, F. Moura, and J. Rasga. Transferring proofs of zero-knowledge systems with quantum correlations. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0009. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.

J. Rasga. Sufficient conditions for cut elimination with complexity analysis. Annals of Pure and Applied Logic, 149(1-3):81--99, 2007.

C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Fibring of logics as a universal construction. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123--187. Springer, 2005.

P. Mateus, J. Rasga, and C. Sernadas. Modal sequent calculi labelled with truth values: Cut elimination. Logic Journal of the IGPL, 13(2):173--199, 2005.

J. Rasga. Cut elimination in propositional based logics. In P. Bruscoli, F. Lamarche, and C. Stewart, editors, Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05), pages 205--214. Technische Universitat Dresden, 2005.

J. Rasga. Fibring Labelled First-order Based Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2003. Supervised by C. Sernadas.

C. Sernadas, L. Viganò, J. Rasga, and A. Sernadas. Truth-values as labels: A general recipe for labelled deduction. Journal of Applied Non-Classical Logics, 13(3-4):277--315, 2003.

J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. Journal of Logic and Computation, 12(3):443--473, 2002.

J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Labelled deduction over algebras of truth values. In A. Armando, editor, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222--238. Springer, 2002.

C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. Journal of Symbolic Logic, 67(4):1541--1569, 2002.

J. Rasga. Complexity analysis of cut elimination in first order based logics. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2005. Extended abstract. Presented at PCC -- Proof, Computation, Complexity, July 16-17, Lisboa, Affiliated Workshop of ICALP'05.

W. Carnielli, J. Rasga, and C. Sernadas. Appendix on Interpolation via translations: proofs as expected. Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal, 2008. Appendix to the paper wcarnielli:jfr:css:08 with the full details of the proofs that are just sketched or not proved at all in that paper in order to simplify the presentation since they follow in an expected way.