Authors: João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Vigano
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wailoa.informatik.uni-freiburg.de/WebBIB/publications/papers/2002/rasgasernadasvigano-web.ps.gz.
Subject Terms: Fibring of Logics, Labelled Deduction Systems, Natural Deduction, General Semantics, Category Theory
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8943; http://wailoa.informatik.uni-freiburg.de/WebBIB/publications/papers/2002/rasgasernadasvigano-web.ps.gz
Authors: João Rasga, Amílcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-freiburg.de/~softech/publications/RSSVtechrep00/RSSVtechrep00.ps.gz.
Subject Terms: Fibring of Logics, Labelled Deduction Systems, Natural Deduction, General Semantics, Category Theory
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.5209; http://www.informatik.uni-freiburg.de/~softech/publications/RSSVtechrep00/RSSVtechrep00.ps.gz
Authors: João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-freiburg.de/~luca/publications/jlc02/rasgasernadasvigano-web.pdf.
Subject Terms: Fibring of Logics, Labelled Deduction Systems, Natural Deduction, General Semantics, Category Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.2452; http://www.informatik.uni-freiburg.de/~luca/publications/jlc02/rasgasernadasvigano-web.pdf
Authors: João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf.
Subject Terms: Fibring of Logics, Labelled Deduction Systems, Natural Deduction, General Semantics, Category Theory
File Description: application/pdf