Authors: Jaime Ramos, João Rasga, Cristina Sernadas
Superior Title: Mathematics, Vol 9, Iss 21, p 2671 (2021)
Subject Terms: schematic complexity, propositional-based schema calculus, schema derivation, schema metatheorems, Mathematics, QA1-939
File Description: electronic resource
Authors: Filipe Casal, João Rasga, André Souto
Superior Title: Cryptography; Volume 2; Issue 2; Pages: 9
Subject Terms: Kolmogorov complexity, one-way functions, cryptography, complexity theory
File Description: application/pdf
Availability: https://doi.org/10.3390/cryptography2020009
Authors: João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Relation: info:eu-repo/grantAgreement/EC/H2020/746667/; https://zenodo.org/record/3632537; https://doi.org/10.5281/zenodo.3632537; oai:zenodo.org:3632537
Authors: João Rasga, Karina Roggia, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf.
Subject Terms: fusion of modal logic, labelled deduction, sequent calculi
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.3684; http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf
Availability: http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf
Authors: Faculdadedeciências E Tecnologia, Technische Universität Wien, Ismael Everardo, Bárcenas Patiño, João Rasga
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.emcl-study.eu/fileadmin/master_theses/thesis_barcenas.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.9437; http://www.emcl-study.eu/fileadmin/master_theses/thesis_barcenas.pdf
Authors: Luís Cruz-filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CRSS-folae.pdf.
Subject Terms: generalized quantification, almost-everywhere logic, probabilistic logic, measure-theoretic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.3807; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/06-CRSS-folae.pdf
Authors: Walter Carnielli, João Rasga Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/04-CRS-fiblog21.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.6854; http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/04-CRS-fiblog21.pdf
Authors: Cristina Sernadas, João Rasga, Walter A. Carnielli
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2442; http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.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/01-RSSV-fiblog11s.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.2858; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-RSSV-fiblog11s.pdf
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
Availability: http://wailoa.informatik.uni-freiburg.de/WebBIB/publications/papers/2002/rasgasernadasvigano-web.ps.gz
Authors: Cristina Sernadas, João Rasga, Walter A. Carnielli
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6322; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps
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
Availability: http://www.informatik.uni-freiburg.de/~softech/publications/RSSVtechrep00/RSSVtechrep00.ps.gz
Authors: João Rasga, Cristina Sernadas
Resource Type: eBook.
Subjects: Mathematical logic, Machine theory, Mathematics—Philosophy
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
Availability: http://www.informatik.uni-freiburg.de/~luca/publications/jlc02/rasgasernadasvigano-web.pdf
Authors: João Rasga
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf.
Subject Terms: Key words, Cut elimination, Complexity of cut elimination, Sequent calculus MSC, primary 03F05, 03F20, secondary 03F07, 03F03
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.5826; http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf
Availability: http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.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
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.4413; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf
Authors: Luís Cruz-filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/CruzFilipeL/06-CRSS-folae.pdf.
Subject Terms: generalized quantification, almost-everywhere logic, probabilistic logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.222.505; http://www.cs.math.ist.utl.pt/ftp/pub/CruzFilipeL/06-CRSS-folae.pdf
Authors: Cristina Sernadas, Luca Viganó, João Rasga, Amílcar Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/02-SVRS-fiblog11.ps.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.402; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/02-SVRS-fiblog11.ps
Authors: Walter Carnielli, João Rasga, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Craig interpolation, Maehara interpolation, preservation of interpolation, negative translation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.1460; http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/08-CRS-interpviatranslations.pdf