- 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