[en] WHAT IS SKELETON OF A PROOF

[en] WHAT IS SKELETON OF A PROOF

[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algorit...

Full description

Bibliographic Details
Main Author:	EDUARDO NAHUM OCHS
Other Authors:	NICOLAU CORCAO SALDANHA
Language:	pt
Published:	MAXWELL 2004
Subjects:	[pt] TEORIA DE CATEGORIAS [en] CATEGORY THEORY [pt] LOGICA [en] LOGIC [pt] SEMANTICA [en] SEMANTICS
Online Access:	https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4645@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4645@2 http://doi.org/10.17771/PUCRio.acad.4645

Similar Items

[en] TOPOS-BASED MODEL THEORY FOR HEURISTICS
by: FERNANDO NAUFEL DO AMARAL
Published: (2004)

[en] 2-CATEGORY AND PROOF THEORY
by: CECILIA REIS ENGLANDER LUSTOSA
Published: (2010)

[en] THE ACQUISITION OF VERBAL MOOD IN BRAZILIAN PORTUGUESE: NATURALIST AND EXPERIMENTAL EVIDENCE OF THE PERCEPTION, EXPRESSION AND COMPREHENSION OF THE REALIS/IRREALIS MOOD DISTINCTION
by: JACQUELINE RODRIGUES LONGCHAMPS
Published: (2009)

[en] THE CONCEPT OF TRUTH IN SEMANTICALLY CLOSED LANGUAGES
by: CARLOS LUCIANO MANHOLI
Published: (2005)

[en] LOGIC AS REGENERATED METAPHYSICS: ON THE ISOMORPHISM BETWEEN WORLD AND LANGUAGE IN THE WITTGENSTEIN`S TRACTATUS
by: MARCOS ANTONIO DA SILVA FILHO
Published: (2008)

[en] LOGICAL ECUMENISM
by: VICTOR LUIS BARROSO NASCIMENTO
Published: (2018)

[en] LOGIC PROOFS COMPACTATION
by: VASTON GONCALVES DA COSTA
Published: (2007)

[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (2006)

[en] NOTES ON THE NOTION OF EXISTENCE
by: TIAGO REZENDE DE CASTRO ALVES
Published: (2015)

[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
by: RICARDO QUEIROZ DE ARAUJO FERNANDES
Published: (2017)

[en] LINGUISTIC BASIS FOR IDEA-ORIENTED SEARCH
by: CAROLINA MONTE FERREIRA GONCALVES
Published: (2006)

[en] SEMANTIC VARIATION ON ADVERBIAL CONSTRUCTIONS INTRODUCED BY WHEN IN PORTUGUESE
by: EDUARDO ORGLER
Published: (2006)

[pt] O QUE HÁ NUM NOME?: UMA ANÁLISE SOBRE A POLÍTICA DE CATEGORIZAÇÃO E O FLUXO VENEZUELANO PARA O BRASIL
Published: (2021)

[en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
by: MARCELA QUISPE CRUZ
Published: (2017)

[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
by: GEIZA MARIA HAMAZAKI DA SILVA
Published: (2004)

[en] CONCEIVABILITY, POSSIBILITY AND LOGIC
by: OCTAVIO MOREIRA GUIMARAES LOPES
Published: (2005)

[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
by: BRUNO LOPES VIEIRA
Published: (2015)

[en] THE SEMANTIC CLASSIFICATION OF TECHNICAL COMPOUND NOUNS AND THEIR TRANSLATION TO PORTUGUESE
by: PAULA SANTOS DINIZ
Published: (2017)

[en] THE OPEN COMMUNITY OF CONSTITUTION INTERPRETERS: THE AMICUS CURIAE AS A DEMOCRATIZATION STRATEGY OF THE SEARCH FOR THE NORMS' MEANING
by: LUIS SERGIO SOARES MAMARI FILHO
Published: (2004)

[en] THE DELIMITATION OF ADJECTIVES AS A LEXICAL CATEGORY IN LANGUAGE ACQUISITION: AN EXPERIMENTAL STUDY IN BRAZILIAN PORTUGUESE
by: LUCIANA TEIXEIRA
Published: (2009)

[en] ENRICHING AND ANALYZING SEMANTIC TRAJECTORIES WITH LINKED OPEN DATA
by: LIVIA COUTO RUBACK RODRIGUES
Published: (2018)

[en] A MULTIGRANULARITY LOCKING MODEL FOR RDF
by: MARK DOUGLAS DE AZEVEDO JACYNTHO
Published: (2012)

[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
by: MARIO H. A. TASCHERI
Published: (2009)

[en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
by: MARIA DO CARMO ELIAS ALVES
Published: (2006)

[en] DEVELOPMENT OF A GRAPHICAL ENVIRONMENT FOR THE SIMULATION OF A FUZZY CONTROL SYSTEM
by: NESTOR CORREA COTELO
Published: (2006)

[en] KNOWLEDGE BASED FOR HYDROELECTRIC MACHINES DIAGNOSIS
by: LUCIANO R CHAGAS COSTA JUNIOR
Published: (2006)

[en] AN APPLICATION BUILDER FOR QUERING RDF/RDFS DATASETS
by: MARCELO COHEN DE AZEVEDO
Published: (2010)

[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
by: CHRISTIAN JACQUES RENTERIA
Published: (2004)

[en] SEMANTIC INTEGRATION OF INFORMATION SYSTEMS
by: MARCOS MAGALHAES MOREIRA
Published: (2004)

[en] ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS
by: STEFANO DOMINGUES STIVAL
Published: (2004)

[en] REVERSING THE RELEVANCE: SEMANTIC AND PRAGMATIC ASPECTS OF DIMINUTIVE FORMATIONS IN BRAZILIAN PORTUGUESE
by: VIRPI JOHANNA TURUNEN
Published: (2009)

[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (2009)

[en] SEMANTICS OF EXPRESSIVES: OVERCOMING METHODOLOGICAL EXPRESSIVISM
Published: (2020)

[pt] GESTÃO DO CONHECIMENTO NO GERENCIAMENTO DE SERVIÇOS DE TI: USO E AVALIAÇÃO
by: MATHEUS SALCEDO
Published: (2011)

[en] PRAGMALINGUISTIC READING OF THE BIBLE: THE METHOD, APPLICATION IN HOSEA 10,1-8, SUBJECTIVES AND PERSPECTIVES
by: LUIS HENRIQUE ALVES PINTO
Published: (2004)

[en] EXPLORATOR: A TOOL FOR EXPLORING RDF DATA THROUGH DIRECT MANIPULATION
by: SAMUR FELIPE CARDOSO DE ARAUJO
Published: (2009)

[en] BUILDING RELATION EXTRACTORS THROUGH DISTANT SUPERVISION
by: THIAGO RIBEIRO NUNES
Published: (2013)

[en] SEMANTIC WEB INTEROPERABILITY: ONE STRATEGY FOR THE TAXONOMIC ONTOLOGY ALIGNMENT
by: CAROLINA HOWARD FELICISSIMO
Published: (2005)

[en] THE DEDUCTIVE MODEL IN NEIL MACCORMICK S THEORY OF LEGAL REASONING
by: PEDRO NAVARRO CESAR
Published: (2007)

[en] EVALUATION OF STATIC ANALYSIS IN DATA TYPE SEMANTIC CONFLICT DETECTION
by: RAFAEL DE PINHO ANDRE
Published: (2014)