ResearcherID Thomson Reuters  

Rasga, Joao
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: B-8260-2008
Other Names: J Rasga; João Rasga; J. Rasga
URL: http://www.researcherid.com/rid/B-8260-2008
Subject: Mathematics
Keywords: mathematical logic; proof theory; computer science
ORCID: http://orcid.org/0000-0002-1239-8496
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Dep Mathematics
Role:
Joint Affiliation:
Sub-org/Dept: SQIG
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Modulated fibring and the collapsing problem
 Author(s): SERNADAS, C; RASGA, J; CARNIELLI, WA
 Source: JOURNAL OF SYMBOLIC LOGIC Volume: 67 Issue: 4 Pages: 1541-1569 Published: DEC 2002
 Times Cited: 13
added
26-Jun-08
2.  Title: Fibring labelled deduction systems
 Author(s): RASGA, J; SERNADAS, A; SERNADAS, C; et al.
 Source: JOURNAL OF LOGIC AND COMPUTATION Volume: 12 Issue: 3 Pages: 443-473 Published: JUN 2002
 Times Cited: 9
 DOI: UNSP 120443.sgm
added
26-Jun-08
3.  Title: Sufficient conditions for cut elimination with complexity analysis
 Author(s): RASGA, J
 Source: ANNALS OF PURE AND APPLIED LOGIC Volume: 149 Issue: 1-3 Pages: 81-99 Published: NOV 2007
 Times Cited: 7
 DOI: 10.1016/j.apal.2007.08.001
added
26-Jun-08
4.  Title: Preservation of interpolation features by fibring
 Author(s): CARNIELLI, W; RASGA, J; SERNADAS, C
 Source: JOURNAL OF LOGIC AND COMPUTATION Volume: 18 Issue: 1 Pages: 123-151 Published: FEB 2008
 Times Cited: 6
 DOI: 10.1093/logcom/exm061
added
26-Jun-08
5.  Title: A Graph-theoretic Account of Logics
 Author(s): Sernadas, A; Sernadas, C; Rasga, J; et al.
 Source: Journal of Logic and Computation Volume: 19 Issue: 6 Pages: 1281-1320 Published: DEC 2009
 Times Cited: 6
 DOI: 10.1093/logcom/exp023
added
16-Jun-11
6.  Title: On meet-combination of logics
 Author(s): Sernadas, A.; Sernadas, C.; Rasga, J.
 Source: Journal of Logic and Computation Volume: 22 Issue: 6 Pages: 1453-1470 Published: DEC 2012
 Times Cited: 5
 DOI: 10.1093/logcom/exr035
added
25-Nov-14
7.  Title: On Graph-theoretic Fibring of Logics
 Author(s): Sernadas, A; Sernadas, C; Rasga, J; et al.
 Source: Journal of Logic and Computation Volume: 19 Issue: 6 Pages: 1321-1357 Published: DEC 2009
 Times Cited: 4
 DOI: 10.1093/logcom/exp024
added
16-Jun-11
8.  Title: Modal sequent calculi labelled with truth values: Cut elimination
 Author(s): MATEUS, P; RASGA, J; SERNADAS, C
 Source: LOGIC JOURNAL OF THE IGPL Volume: 13 Issue: 2 Pages: 173-199 Published: MAR 2005
 Times Cited: 3
 DOI: 10.1093/jigpal/jzi013
added
26-Jun-08
9.  Title: Importing Logics: Soundness and Completeness Preservation
 Author(s): Rasga, J.; Sernadas, A.; Sernadas, C.
 Source: Studia Logica Volume: 101 Issue: 1 Pages: 117-155 Published: FEB 2013
 Times Cited: 3
 DOI: 10.1007/s11225-011-9363-x
added
25-Nov-14
10.  Title: Importing Logics
 Author(s): Rasga, J.; Sernadas, A.; Sernadas, C.
 Source: Studia Logica Volume: 100 Issue: 3 Pages: 545-581 Published: JUN 2012
 Times Cited: 3
 DOI: 10.1007/s11225-012-9414-y
added
25-Nov-14
publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: