João Rasga

Citado por

	Todos	Desde 2017
Citações	413	83
Índice h	10	4
Índice i10	11	2

2002200320042005200620072008200920102011201220132014201520162017201820192020202120226 12 13 25 3 35 15 22 29 25 19 24 33 22 20 17 11 8 13 24 9

Acesso público

Ver tudo

10 artigos

3 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalEmail confirmado em tecnico.ulisboa.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaEmail confirmado em tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofEmail confirmado em cle.unicamp.br
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeEmail confirmado em kcl.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail confirmado em math.ist.utl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasEmail confirmado em unicamp.br
Filipe CasalTrail of BitsEmail confirmado em trailofbits.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaEmail confirmado em math.ist.utl.pt
Luís Cruz-FilipeUniversity of Southern DenmarkEmail confirmado em imada.sdu.dk
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoEmail confirmado em aucegypt.edu
Erisa KarafiliAssistant Professor, Electronics and Computer Science, University of SouthamptonEmail confirmado em soton.ac.uk
Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa CatarinaEmail confirmado em udesc.br
Nikola PaunkovicInstituto de TelecomunicaçõesEmail confirmado em math.ist.utl.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesEmail confirmado em fc.ul.pt
Luis AlcacerInstituto de TelecomunicaçõesEmail confirmado em lx.it.pt

Seguir

João Rasga

Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa

Email confirmado em tecnico.ulisboa.pt - Página inicial

Mathematical Logic and Applications


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli Journal of Symbolic Logic 67 (4), 1541-1569, 2002	74	2002
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition 13, 123-187, 2005	47	2005
Fibring labelled deduction systems J Rasga, A Sernadas, C Sernadas, L Vigano Journal of Logic and Computation 12 (3), 443-473, 2002	42	2002
Preservation of interpolation features by fibring W Carnielli, J Rasga, C Sernadas Journal of Logic and Computation 18 (1), 123-151, 2008	27	2008
A graph-theoretic account of logics A Sernadas, C Sernadas, J Rasga, M Coniglio Journal of Logic and Computation 19 (6), 1281-1320, 2009	21	2009
Importing logics J Rasga, A Sernadas, C Sernadas Studia Logica 100 (3), 545-581, 2012	20	2012
On graph-theoretic fibring of logics A Sernadas, C Sernadas, J Rasga, M Coniglio Journal of Logic and Computation 19 (6), 1321-1357, 2009	19	2009
On meet-combination of logics A Sernadas, C Sernadas, J Rasga Journal of Logic and Computation 22 (6), 1453-1470, 2012	18	2012
Sufficient conditions for cut elimination with complexity analysis J Rasga Annals of Pure and Applied Logic 149 (1-3), 81-99, 2007	15	2007
On combined connectives A Sernadas, C Sernadas, J Rasga Logica Universalis 5 (2), 205-224, 2011	10	2011
Labelled Deduction over Algebras of Truth-Values^* J Rasga, A Sernadas, C Sernadas, L Viganò International Workshop on Frontiers of Combining Systems, 222-239, 2002	10	2002
Truth-values as labels: A general recipe for labelled deduction C Sernadas, L Viganò, J Rasga, A Sernadas Journal of Applied Non-Classical Logics 13 (3-4), 277-315, 2003	9	2003
Importing logics: Soundness and completeness preservation J Rasga, A Sernadas, C Sernadas Studia Logica 101 (1), 117-155, 2013	8	2013
Approximate reasoning about logic circuits with single-fan-out unreliable gates A Sernadas, J Rasga, C Sernadas, P Mateus Journal of Logic and Computation 24 (5), 1023-1069, 2014	7	2014
Preservation of Craig interpolation by the product of matrix logics C Sernadas, J Rasga, A Sernadas Journal of Applied Logic 11 (3), 328-349, 2013	7	2013
Fibring as biporting subsumes asymmetric combinations J Rasga, A Sernadas, C Sernadas Studia Logica 102 (5), 1041-1074, 2014	6	2014
Interpolation via translations J Rasga, W Carnielli, C Sernadas Mathematical Logic Quarterly 55 (5), 515-534, 2009	6	2009
Complete axiomatization of discrete-measure almost-everywhere quantification L Cruz-Filipe, J Rasga, A Sernadas, C Sernadas Journal of Logic and Computation 18 (6), 885-911, 2008	6	2008
Modal sequent calculi labelled with truth values: Cut elimination P Mateus, J Rasga, C Sernadas Logic Journal of IGPL 13 (2), 173-199, 2005	6	2005
Many-sorted equivalence of shiny and strongly polite theories F Casal, J Rasga Journal of Automated Reasoning 60 (2), 221-236, 2018	5	2018

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores