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: 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: 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: Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CSS-fiblog26.pdf.
Subject Terms: heterogeneous fibring, abstract proof system, preservation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.8083; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-CSS-fiblog26.pdf
Authors: Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-MSS-quantlog03.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4533; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/05-MSS-quantlog03.pdf
Authors: Walter A. Carnielli, Cristina Sernadas, Alberto Zanardo
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/04-CSZ-fiblog21s.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.8013; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/04-CSZ-fiblog21s.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, Walter A. Carnielli
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: ftp://www.cle.unicamp.br/pub/professors/carnielli/articles/01-SRC-fiblog7.ps
File Description: application/postscript
Authors: Cristina Sernadas, Walter A. Carnielli
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.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.66.2520; http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps
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: Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.ps.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.8829; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.ps
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: Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.2007; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.pdf
Authors: Cristina Sernadas, Alberto Zanardo
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.ps.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.5422; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/01-SSZ-fiblog4.ps
Authors: Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.7410; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.pdf
Authors: Marcelo E. Coniglio, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/02-CS-hol.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.7602; http://wslc.math.ist.utl.pt/ftp/pub/SernadasC/02-CS-hol.pdf
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, Cristina Sernadas
Resource Type: eBook.
Subjects: Mathematical logic, Machine theory, Mathematics—Philosophy
Authors: Carlos Caleiro, Walter A. Carnielli, Marcelo E. Coniglio, Amilcar Sernadas, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/00-CCCSS-fiblog8.ps.
Subject Terms: bring, combination of logics, non-truth-functional logics
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5212; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/00-CCCSS-fiblog8.ps
Authors: Cristina Sernadas, Paulo Mateus
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: https://www.aaai.org/Papers/FLAIRS/1999/FLAIRS99-081.pdf.
File Description: application/pdf