• J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, in print.
    Get a preprint: 15-RSS-adm01.pdf 
  • 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):283--308, 2017.
    Get a preprint: 16-RSMS-optprobsucl.pdf 
  • 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.
    Get a preprint: 14-SRSM-pcl04d.pdf 
  • J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. Studia Logica, 102(5):1041--1071, 2014.
    Get a preprint: 13-RSS-gtf07b.pdf 
  • J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence of unreliable connectives. Logica Universalis, 8(3-4):423--446, 2014.
    Get a preprint: 14-RSS-pcl04c.pdf 
  • 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.
    Get a preprint: 13-SRSM-pcl04.pdf 
  • 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.
    Get a preprint: 13-RLS-folae.pdf 
  • J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and completeness preservation. Studia Logica, 101(1):117--155, 2013.
    Get a preprint: 11-RSS-gtf07c.pdf 
  • 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.
    Get a preprint: 12-SRS-pcl02.pdf 
  • J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. Studia Logica, 100(3):545--581, 2012.
    Get a preprint: 10-RSS-gtf07a.pdf 
  • A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics. Journal of Logic and Computation, 22(6):1453--1470, 2012.
    Get a preprint: 11-SSR-pcl01.pdf 
  • A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. Logica Universalis, 5(2):205--224, 2011.
    Get a preprint: 11-SSR-pcl00.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.
    Get a preprint: 10-RRS-gtf04.pdf 
  • W. Carnielli, J. Rasga, and C. Sernadas. Interpolation via translations. Mathematical Logic Quarterly, 55(5):515--534, 2009.
    Get a preprint: 08-CRS-interpviatranslations.pdf 
  • A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation, 19:1281--1320, 2009.
    Get a preprint: 08-SSRC-gtf01.pdf 
  • A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation, 19:1321--1357, 2009.
    Get a preprint: 08-SSRC-gtf02.pdf 
  • 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.
    Get a preprint: 08-BMNR-qsec02a.pdf 
  • W. A. Carnielli, J. Rasga, and C. Sernadas. Preservation of interpolation features by fibring. Journal of Logic and Computation, 18(1):123--151, 2008.
    Get a preprint: 04-CRS-fiblog21.pdf 
  • 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.
    Get a preprint: 06-CRSS-folae.pdf 
  • J. Rasga. Sufficient conditions for cut elimination with complexity analysis. Annals of Pure and Applied Logic, 149(1-3):81--99, 2007.
    Get a preprint: 06-R-cut.pdf 
  • 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.
    Get a preprint: 04-MRS-fiblog20.ps  04-MRS-fiblog20.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.
    Get a preprint: 02-SVRS-fiblog11.ps  02-SVRS-fiblog11.pdf 
  • J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. Journal of Logic and Computation, 12(3):443--473, 2002.
    Get a preprint: 00-RSSV-fiblog5.ps  00-RSSV-fiblog5.pdf 
  • C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. Journal of Symbolic Logic, 67(4):1541--1569, 2002.
    Get a preprint: 01-SRC-fiblog7.ps  01-SRC-fiblog7.pdf