updated 2025/2/12

J. Ramos, J. Rasga and C. Sernadas. Probabilistic semantics and calculi for multi-valued and paraconsistent logics. Studia Logica, in print. [pdf,doi]

P. Gouveia, J. Rasga and C. Sernadas. Meet-combination of consequence systems. Logic and Logical Philosophy, 34(1):73-108, 2025. [pdf,doi]

J. Ramos, J. Rasga and C. Sernadas. Labelled proof systems for existential reasoning. Logic Journal of the IGPL, 33(1):173-201, 2025. [pdf,doi]

J. Rasga and C. Sernadas. On combining intuitionistic and S4 modal logic. Bulletin of the Section of Logic, 53(3):321-344, 2024. [pdf,doi]

J. Ramos, J. Rasga and C. Sernadas. Conservative translations revisited. Journal of Philosophical Logic, 52(3):889-913, 2023. [pdf,doi]

J. Rasga and C. Sernadas. Adding abductive reasoning to a propositional logic. Journal of Logic and Computation, 32(4):697-728, 2022. [pdf,doi]

J. Ramos, J. Rasga and C. Sernadas. Schema complexity in propositional-based logics. Mathematics, 9(21), 2671, 2021. [pdf,doi]

J. Ramos, J. Rasga, C. Sernadas and L. Viganò. Event based time-stamped claim logic. Journal of Logical and Algebraic Methods in Programming, 121:100684, 2021. [pdf,doi]

J. Rasga, C. Sernadas and W. Carnielli. Reduction techniques for proving decidability in logics and their meet-combination. Bulletin of Symbolic Logic, 27(1):39-66, 2021. [pdf,doi]

D. Oliveira and J. Rasga. Revisiting separation: Algorithms and complexity. Logic Journal of the IGPL, 29(3):251-302, 2021. [pdf,doi]

J. Rasga, C. Sernadas, E. Karafili and L. Viganò. Time-stamped claim logic. Logic Journal of the IGPL, 29(3):303-332, 2021. [pdf,doi]

J. Ramos, J. Rasga and C. Sernadas. Essential structure of proofs as a measure of complexity. Logica Universalis, 14(2):209-242, 2020. [pdf,doi]

A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer, and A. B. Henriques. Probabilistic logic of quantum observations. Logic Journal of the IGPL, 27(3):328-370, 2019. [pdf,doi]

F. Casal, J. Rasga, and A. Souto. Kolmogorov one-way functions revisited. Cryptography, 2(2):9, 2018. [pdf,doi]

F. Casal, and J. Rasga. Many-sorted equivalence of shiny and strongly polite theories. Journal of Automated Reasoning, 60(2):221-236, 2018. [pdf,doi]

A. Sernadas, J. Rasga, and C. Sernadas. On probability and logic. Portugaliae Mathematica, 74(4):267-313, 2017. [pdf,doi]

J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the Unreliable-Circuit Logic. Logic Journal of the IGPL, 25(3):284-308, 2017. [pdf,doi]

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

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. [pdf,doi]

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. [pdf]

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

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

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. [pdf,doi]

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. [pdf,doi]

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

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

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. [pdf,doi]

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

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

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

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, 2011. [pdf]

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. [pdf,doi]

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

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation, 19(6):1281-1320, 2009. [pdf,doi]

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation, 19(6):1321-1357, 2009. [pdf,doi]

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. [pdf,doi]

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

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

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. [pdf,doi]

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

C. Caleiro, W. 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. [pdf,doi]

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. [pdf,doi]

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, pages 205-214. Technische Universitat Dresden, 2005. [pdf]

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

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. [pdf,doi]

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

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. [pdf,doi]

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