• C. Caleiro, S. Marcelino, and J. Marcos. Combining fragments of classical logic: When are interaction principles needed? Soft Computing, in print.
  Get a preprint: 18-CMM-classicalinteractions.pdf 
• C. Caleiro, F. Casal, and A. Mordido. Generalized probabilistic satisfiability. Electronic Notes in Theoretical Computer Science, 332:39--56, 2017.
  Get a preprint: 16-CCM-genpsat.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 
• C. Caleiro and R. Gonçalves. Abstract valuation semantics. Studia Logica, 101(4):677--712, 2013.
  Get a preprint: 10-CG-absval.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 
• M. Coniglio, A. Sernadas, and C. Sernadas. Preservation by fibring of the finite model property. Journal of Logic and Computation, 21(2):375--402, 2011.
  Get a preprint: 10-CSS-gtf05.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 
• 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.
  Get a preprint: 11-SSRM-pcl03.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 
• 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 
• W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, volume 35 of Applied Logic. Springer, 2008.
  Get a preprint: 06-CCGGS-fibringbook.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, A. Sernadas, and C. Sernadas. Heterogeneous fibring of deductive systems via abstract proof systems. Logic Journal of the IGPL, 16:121--153, 2008.
  Get a preprint: 05-CSS-fiblog26.pdf 
• J. Marcos. Possible-translations semantics for some weak classically-based paraconsistent logics. Journal of Applied Non-Classical Logics, 18(1):7--28, 2008.
  Get a preprint: 04-M-PTS4swcbPL.pdf 
• C. Caleiro and J. Ramos. Combining classical and intuitionistic implications. In B. Konev and F. Wolter, editors, Frontiers of Combining Systems 07, Lecture Notes in Artificial Intelligence, pages 118--132. Springer, 2007.
  Get a preprint: 07-CR-classint-imp.pdf 
• W. A. Carnielli, M. E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 14. Kluwer Academic Publishers, 2nd edition, 2007.
  Get a preprint: 03-CCM-lfi.pdf 
• P. Adão. Formal Methods for the Analysis of Security Protocols. PhD thesis, IST, Universidade Técnica de Lisboa, 2006. Supervised by P. Mateus and A. Scedrov.
  Get a preprint: 06-A-PhDthesis.pdf 
• J. Marcos. Generalizing truth-functionality (abstract). Bulletin of Symbolic Logic, 12(3):511--511, 2006.
  Get a preprint: 05-M-asl.pdf 
• J. Marcos. Ineffable inconsistencies. In J.-Y. Béziau and W. A. Carnielli, editors, Paraconsistency with no Frontiers, Proceedings of the III World Congress on Paraconsistency, held in Toulouse, FR, July 28-31, 2003, volume 4 of Studies in Logic and Practical Reasoning, pages 301--311. Elsevier Science, Amsterdam, 2006.
  Get a preprint: 04-M-ii.pdf 
• P. Adão, G. Bana, and A. Scedrov. Computational and information-theoretic soundness and completeness of formal encryption. In Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW), pages 170--184, Aix-en-Provence, France, June 20-22, 2005. IEEE Computer Society Press.
  Get a preprint: 04-ABS-encryption.pdf 
• C. Caleiro and R. Gonçalves. Equipollent logical systems. In J.-Y. Béziau, editor, Logica Universalis, pages 99--112. Birkhäuser, 2005.
  Get a preprint: 05-CG-equipollence.pdf 
• C. Caleiro and J. Ramos. Cryptomorphisms at work. In J. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 3423 of Lecture Notes in Computer Science, pages 45--60. Springer, 2005.
  Get a preprint: 04-CR-fiblog17.ps  04-CR-fiblog17.pdf 
• C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Two's company: The humbug of many logical values. In J.-Y. Béziau, editor, Logica Universalis, pages 169--189. Birkhäuser, 2005.
  Get a preprint: 05-CCCM-dyadic.pdf 
• 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.
  Get a preprint: 04-CCRS-fiblog23.pdf 
• C. Caleiro, A. Sernadas, and C. Sernadas. Fibring logics: Past, present and future. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume One, pages 363--388. King's College Publications, 2005.
  Get a preprint: 05-CSS-fiblog27.pdf 
• C. Caleiro, L. Viganò, and D. Basin. Metareasoning about security protocols using distributed temporal logic. Electronic Notes in Theoretical Computer Science, 125(1):67--89, 2005. Preliminary version presented at IJCAR'04 ARSPA Workshop.
  Get a preprint: 04-CVB-fiblog15s2.pdf 
• C. Caleiro, L. Viganò, and D. Basin. Relating strand spaces and distributed temporal logic for security protocol analysis. Logic Journal of the IGPL, 13(6):637--664, 2005.
  Get a preprint: 04-CVB-fiblog15s3.pdf 
• W. A. Carnielli and P. Mateus, editors. Selected papers from CombLog'04, volume 13(6) -- Special issue of Logic Journal of the IGPL, 2005.
• F. M. Dionísio, P. Gouveia, and J. Marcos. Defining and using deductive systems with Isabelle. In L. Magnani and R. Dossena, editors, Computing, Philosophy, and Cognition, pages 271--293. King's College Publications, 2005.
  Get a preprint: 04-DGM-dlogisa.pdf 
• J. Marcos. Logics of essence and accident. Bulletin of the Section of Logic, 34(1):43--56, 2005.
  Get a preprint: 04-M-LEA.pdf 
• J. Marcos. Logics of Formal Inconsistency. PhD thesis, IFCH, Universidade Estadual de Campinas and IST, Universidade Técnica de Lisboa, 2005. Supervised by W. A. Carnielli and C. Caleiro.
  Get a preprint: 05-M-PhDthesis.pdf 
• J. Marcos. Modality and paraconsistency. In M. Bilkova and L. Behounek, editors, The Logica Yearbook 2004, pages 213--222. Filosofia, 2005.
  Get a preprint: 04-M-ModPar.pdf 
• J. Marcos. Nearly every normal modal logic is paranormal. Logique et Analyse, 48:279--300, 2005.
  Get a preprint: 04-M-Paranormal.pdf 
• J. Marcos. On negation: Pure local rules. Journal of Applied Logic, 3(1):185--219, 2005.
  Get a preprint: 04-M-onplr.pdf 
• J. Marcos, D. Batens, and W. A. Carnielli, editors. A Paraconsistent Decagon, volume 3(1) -- Special issue of Journal of Applied Logic, 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.
  Get a preprint: 04-MRS-fiblog20.ps  04-MRS-fiblog20.pdf 
• 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 Universit‰t Dresden, 2005.
  Get a preprint: 05-R-quantfib2s.pdf 
• J. Bueno-Soler. Semântica algébrica de traduções possíveis (Possible-translations algebraic semantics). Master's thesis, IFCH, Universidade Estadual de Campinas, 2004. Supervised by M. E. Coniglio and C. Caleiro.
  Get a preprint: 04-B-MScThesis.pdf 
• C. Caleiro and J. Ramos. Cryptofibring. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 87--92, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CR-fiblog25s.pdf 
• C. Caleiro, L. Viganò, and D. Basin. Towards a metalogic for security protocol analysis. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 187--196, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CVB-fiblog15s1.pdf 
• W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors. Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico.
  Get a preprint: 04-CDM-comblog.pdf 
• W. A. Carnielli, C. Sernadas, and A. Zanardo. Preservation of interpolation by fibring. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 151--157, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-CSZ-fiblog21s.pdf 
• L. Cruz-Filipe. Constructive Real Analysis: a Type-Theoretical Formalization and Applications. PhD thesis, University of Nijmegen, 2004. Supervised by H. Barendregt.
  Get a preprint: 04-C-PhDthesis.ps  04-C-PhDthesis.pdf 
• L. Cruz-Filipe and F. Wiedijk. Hierarchical reflection. In K. Slind, A. Bunker, and G. Gopalakrishnan, editors, Theorem Proving in Higher Order Logics (17th International Conference, TPHOLs 2004), volume 3223 of Lecture Notes in Computer Science, pages 66--81. Springer, 2004.
  Get a preprint: 04-CW-hrefl.ps  04-CW-hrefl.pdf 
• L. Cruz-Filipe, H. Geuvers, and F. Wiedijk. C-CoRN, the Constructive Coq Repository at Nijmegen. In A. Asperti, G. Bancerek, and A. Trybulec, editors, Mathematical Knowledge Management, volume 3119 of Lecture Notes in Computer Science, pages 88--103. Springer, 2004.
  Get a preprint: 04-CGW-ccorn.ps  04-CGW-ccorn.pdf 
• R. Gonçalves. Algebraization of logics and beyond. Technical report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2004. Diploma thesis. Supervised by C. Caleiro.
  Get a preprint: 04-G-DiplomaThesis.pdf 
• P. Gouveia and J. Ramos. Multi-agent systems specification and certification: A situation and state calculus approach. Annals of Mathematics and Artificial Intelligence, 41(2-4):301--338, 2004.
  Get a preprint: 03-GR-ssccert.ps  03-GR-ssccert.pdf 
• C. Hermida and P. Mateus. Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory. Theoretical Computer Science, 311:71--103, 2004.
  Get a preprint: 02-HM-paracat2.ps  02-HM-paracat2.pdf 
• J. Marcos. Possible-translations semantics. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 119--128, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended version of extended abstract.
  Get a preprint: 04-M-pts.pdf 
• P. Mateus and A. Sernadas. Exogenous quantum logic. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 141--149, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
  Get a preprint: 04-MS-fiblog24s.ps  04-MS-fiblog24s.pdf 
• P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251. Springer, 2004.
  Get a preprint: 04-MS-fiblog24x.ps  04-MS-fiblog24x.pdf 
• P. Mateus, A. Sernadas, C. Sernadas, and L. Viganò. Modal sequent calculi labelled with truth values: Completeness, duality and analyticity. Logic Journal of the IGPL, 12(3):227--274, 2004.
  Get a preprint: 03-MSSV-fiblog19.ps  03-MSSV-fiblog19.pdf 
• C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information, 12(2):183--211, 2003.
  Get a preprint: 00-CCCSS-fiblog8.ps  00-CCCSS-fiblog8.pdf 
• C. Caleiro, P. Gouveia, and J. Ramos. Completeness results for fibred parchments: Beyond the propositional base. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185--200. Springer, 2003.
  Get a preprint: 03-CGR-fiblog16.ps  03-CGR-fiblog16.pdf 
• M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring logics with topos semantics. Journal of Logic and Computation, 13(4):595--624, 2003.
  Get a preprint: 02-CSS-fiblog14.ps  02-CSS-fiblog14.pdf 
• C. Hermida and P. Mateus. Paracategories I: Internal paracategories and saturated partial algebras. Theoretical Computer Science, 309:125--156, 2003.
  Get a preprint: 02-HM-paracat1.ps  02-HM-paracat1.pdf 
• P. Mateus, J. Mitchell, and A. Scedrov. Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. In R. Amadio and D. Lugiez, editors, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 327--349. Springer, 2003.
  Get a preprint: 03-MMS-seccomp.ps  03-MMS-seccomp.pdf 
• P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas. Categorical foundations for randomly timed automata. Theoretical Computer Science, 308:393--427, 2003.
  Get a preprint: 00-MMNPSS-rta.ps  00-MMNPSS-rta.pdf 
• J. Rasga. Fibring Labelled First-order Based Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2003. Supervised by C. Sernadas.
  Get a preprint: 03-R-PhDthesis.ps  03-R-PhDthesis.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 
• P. Mateus, A. Pacheco, and J. Pinto. Observations and the probabilistic situation calculus. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, Procs. Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 327--338. Morgan Kaufmann, 2002.
  Get a preprint: 01-MPP-obspsc.ps  01-MPP-obspsc.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 
• 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.
  Get a preprint: 01-RSSV-fiblog11s.ps  01-RSSV-fiblog11s.pdf 
• A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL, 10(4):413--451, 2002.
  Get a preprint: 01-SSZ-fiblog4.ps  01-SSZ-fiblog4.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 
• C. Caleiro and J. Marcos. Non-truth-functional fibred semantics. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), volume II, pages 841--847. CSREA Press, Athens GA, USA, 2001.
  Get a preprint: 01-CM-fiblog10.ps  01-CM-fiblog10.pdf 
• C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48--70. Springer, 2001.
  Get a preprint: 01-CMRS-fiblog9.ps  01-CMRS-fiblog9.pdf 
• A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414--439, 2001.
  Get a preprint: 99-ZSS-fiblog3.ps  99-ZSS-fiblog3.pdf 
• C. Caleiro. Combining Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas.
  Get a preprint: 00-C-PhDthesis.ps  00-C-PhDthesis.dvi 
• A. Sernadas. Book Review -- Fibring Logics by Dov M. Gabbay. Journal of Logic, Language, and Information, 9(4):511--513, 2000.
  Get a preprint: 00-S-revDG.ps 
• A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295--316. Research Studies Press, 2000.
  Get a preprint: 98-SSCM-fiblog2.ps 
• C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48--62. Springer, 1999.
  Get a preprint: 98-CSS-paramlog.ps 
• A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149--179, 1999.
  Get a preprint: 98-SSC-fiblog.ps 
• A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217--247, 1997.
  Get a preprint: 96-SSC-synclog.ps 
• A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In M. Johnson, editor, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478. Springer, 1997.
  Get a preprint: 97-SSC-synclogII.ps 
• C. Caleiro and R. Gonçalves. On the algebraization of valuation semantics. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2005. Presented at 1st World Congress on Universal Logic, Montreux, Switzerland, March 31 - April 3, 2005. Extended abstract.
  Get a preprint: 05-CG-valuation.pdf 
• 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.
  Get a preprint: 05-R-quantfib04s.pdf 
• C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Dyadic semantics for many-valued logics. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003.
  Get a preprint: 03-CCCM-dyadic2.ps  03-CCCM-dyadic2.pdf 
• C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Suszko's Thesis and dyadic semantics. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003.
  Get a preprint: 03-CCCM-dyadic1.ps  03-CCCM-dyadic1.pdf 
• M. E. Coniglio and C. Sernadas. A complete axiomatization of higher-order intuitionistic logic. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2002. Presented at X Encontro Nacional de Filosofia, ANPOF.
  Get a preprint: 02-CS-hol.ps  02-CS-hol.pdf 
• M. E. Coniglio, A. T. Martins, A. Sernadas, and C. Sernadas. Fibring (para)consistent logics. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Extended abstract. Presented at II World Congress on Paraconsistency - WCP'00.
  Get a preprint: 00-CMSS-fiblog6.ps  00-CMSS-fiblog6.pdf 
• A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for? CIM Bulletin, 15:9--14, December 2003.
  Get a preprint: 03-SS-fiblog22.ps  03-SS-fiblog22.pdf 
• C. Caleiro, C. Sernadas, and A. Sernadas. Mechanisms for combining logics. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1999.
  Get a preprint: 99-CSS-comblog.ps