Следене
João Rasga
João Rasga
Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa
Потвърден имейл адрес: tecnico.ulisboa.pt - Начална страница
Заглавие
Позовавания
Позовавания
Година
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
Journal of Symbolic Logic 67 (4), 1541-1569, 2002
782002
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
492005
Fibring labelled deduction systems
J Rasga, A Sernadas, C Sernadas, L Vigano
Journal of Logic and Computation 12 (3), 443-473, 2002
422002
Preservation of interpolation features by fibring
W Carnielli, J Rasga, C Sernadas
Journal of Logic and Computation 18 (1), 123-151, 2008
282008
A graph-theoretic account of logics
A Sernadas, C Sernadas, J Rasga, M Coniglio
Journal of Logic and Computation 19 (6), 1281-1320, 2009
242009
On meet-combination of logics
A Sernadas, C Sernadas, J Rasga
Journal of Logic and Computation 22 (6), 1453-1470, 2012
212012
Importing logics
J Rasga, A Sernadas, C Sernadas
Studia Logica 100 (3), 545-581, 2012
202012
On graph-theoretic fibring of logics
A Sernadas, C Sernadas, J Rasga, M Coniglio
Journal of Logic and Computation 19 (6), 1321-1357, 2009
202009
Sufficient conditions for cut elimination with complexity analysis
J Rasga
Annals of Pure and Applied Logic 149 (1-3), 81-99, 2007
152007
Modal sequent calculi labelled with truth values: Cut elimination
P Mateus, J Rasga, C Sernadas
Logic Journal of IGPL 13 (2), 173-199, 2005
132005
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
112002
On combined connectives
A Sernadas, C Sernadas, J Rasga
Logica Universalis 5 (2), 205-224, 2011
102011
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
102003
Many-sorted equivalence of shiny and strongly polite theories
F Casal, J Rasga
Journal of Automated Reasoning 60 (2), 221-236, 2018
92018
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
72014
Revisiting the equivalence of shininess and politeness
F Casal, J Rasga
International Conference on Logic for Programming Artificial Intelligence …, 2013
72013
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
72013
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
72008
Preservation of admissible rules when combining logics
J Rasga, C Sernadas, A Sernadas
The Review of Symbolic Logic 9 (4), 641-663, 2016
62016
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20