João Rasga

Citée par

	Toutes	Depuis 2020
Citations	494	121
indice h	11	6
indice i10	15	2

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 12 13 27 3 35 16 21 29 27 19 23 32 22 19 19 11 9 18 21 25 20 35 2

Accès public

Tout afficher

10 articles

6 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresse e-mail validée de cle.unicamp.br
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresse e-mail validée de kcl.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresse e-mail validée de math.ist.utl.pt
Jaime RamosInstituto Superior Técnico, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresse e-mail validée de unicamp.br
Filipe CasalTrail of BitsAdresse e-mail validée de trailofbits.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaAdresse e-mail validée de math.ist.utl.pt
Luís Cruz-FilipeUniversity of Southern DenmarkAdresse e-mail validée de imada.sdu.dk
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoAdresse e-mail validée de aucegypt.edu
Nikola PaunkovicInstituto de TelecomunicaçõesAdresse e-mail validée de math.ist.utl.pt
Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonAdresse e-mail validée de soton.ac.uk
Karina RoggiaUniversidade do Estado de Santa CatarinaAdresse e-mail validée de udesc.br
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesAdresse e-mail validée de fc.ul.pt
Luis AlcacerInstituto de TelecomunicaçõesAdresse e-mail validée de lx.it.pt

Suivre

João Rasga

Associate Professor with Habilitation, Instituto Superior Técnico, U Lisboa

Adresse e-mail validée de tecnico.ulisboa.pt - Page d'accueil

Mathematics Logic and Computation


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli Journal of Symbolic Logic 67 (4), 1541-1569, 2002	81	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	51	2005
Fibring labelled deduction systems J Rasga, A Sernadas, C Sernadas, L Vigano Journal of Logic and Computation 12 (3), 443-473, 2002	41	2002
Preservation of interpolation features by fibring W Carnielli, J Rasga, C Sernadas Journal of Logic and Computation 18 (1), 123-151, 2008	30	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	27	2009
On meet-combination of logics A Sernadas, C Sernadas, J Rasga Journal of Logic and Computation 22 (6), 1453-1470, 2012	24	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	22	2009
Importing logics J Rasga, A Sernadas, C Sernadas Studia Logica 100 (3), 545-581, 2012	20	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
Modal sequent calculi labelled with truth values: Cut elimination P Mateus, J Rasga, C Sernadas Logic Journal of IGPL 13 (2), 173-199, 2005	14	2005
Many-sorted equivalence of shiny and strongly polite theories F Casal, J Rasga Journal of Automated Reasoning 60 (2), 221-236, 2018	13	2018
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	11	2002
Revisiting the equivalence of shininess and politeness F Casal, J Rasga International Conference on Logic for Programming Artificial Intelligence …, 2013	10	2013
On combined connectives A Sernadas, C Sernadas, J Rasga Logica Universalis 5 (2), 205-224, 2011	10	2011
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	10	2003
Importing logics: Soundness and completeness preservation J Rasga, A Sernadas, C Sernadas Studia Logica 101 (1), 117-155, 2013	9	2013
Fibring as biporting subsumes asymmetric combinations J Rasga, A Sernadas, C Sernadas Studia Logica 102 (5), 1041-1074, 2014	8	2014
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	8	2008
Preservation of admissible rules when combining logics J Rasga, C Sernadas, A Sernadas The Review of Symbolic Logic 9 (4), 641-663, 2016	7	2016
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs