João Rasga
João Rasga
Assistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior Técnico
Verifierad e-postadress på tecnico.ulisboa.pt - Startsida
Titel
Citeras av
Citeras av
År
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
Journal of Symbolic Logic 67 (4), 1541-1569, 2002
692002
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
452005
Fibring labelled deduction systems
J Rasga, A Sernadas, C Sernadas, L Vigano
Journal of Logic and Computation 12 (3), 443-473, 2002
392002
Preservation of interpolation features by fibring
W Carnielli, J Rasga, C Sernadas
Journal of Logic and Computation 18 (1), 123-151, 2008
272008
A graph-theoretic account of logics
A Sernadas, C Sernadas, J Rasga, M Coniglio
Journal of Logic and Computation 19 (6), 1281-1320, 2009
222009
Importing logics
J Rasga, A Sernadas, C Sernadas
Studia Logica 100 (3), 545-581, 2012
212012
On graph-theoretic fibring of logics
A Sernadas, C Sernadas, J Rasga, M Coniglio
Journal of Logic and Computation 19 (6), 1321-1357, 2009
182009
On meet-combination of logics
A Sernadas, C Sernadas, J Rasga
Journal of Logic and Computation 22 (6), 1453-1470, 2012
172012
Sufficient conditions for cut elimination with complexity analysis
J Rasga
Annals of Pure and Applied Logic 149 (1-3), 81-99, 2007
152007
On combined connectives
A Sernadas, C Sernadas, J Rasga
Logica Universalis 5 (2), 205-224, 2011
102011
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
102002
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
92003
Importing logics: Soundness and completeness preservation
J Rasga, A Sernadas, C Sernadas
Studia Logica 101 (1), 117-155, 2013
82013
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
62014
Fibring as biporting subsumes asymmetric combinations
J Rasga, A Sernadas, C Sernadas
Studia Logica 102 (5), 1041-1074, 2014
62014
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
62013
Interpolation via translations
J Rasga, W Carnielli, C Sernadas
Mathematical Logic Quarterly 55 (5), 515-534, 2009
62009
Modal sequent calculi labelled with truth values: Cut elimination
P Mateus, J Rasga, C Sernadas
Logic Journal of IGPL 13 (2), 173-199, 2005
62005
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
52008
Transfering proofs of zero-knowledge systems with quantum correlations
P Mateus, F Moura, J Rasga
First International Conference on Quantum, Nano, and Micro Technologies …, 2007
52007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20