[pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL

[pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL

[pt] Esta tese apresenta um novo cálculo de sequente, correto e completo para a Lógica Proposicional Minimal Implicacional (M →). LMT → destina-se a ser usado para a busca de provas em M →, em uma abordagem bottom-up. A Terminação do cálculo é garantida por uma estratégia de aplicação de regras que...

Full description

Bibliographic Details
Other Authors:	EDWARD HERMANN HAEUSLER
Language:	en
Published:	MAXWELL 2021
Subjects:	[pt] LOGICA [pt] GERACAO DE CONTRA-MODELO [pt] BUSCA DE PROVAS [pt] LOGICA PROPOSICIONAL MINIMAL IMPLICACIONAL [pt] CALCULO DE SEQUENTES [en] LOGIC [en] COUNTER-MODEL GENERATION [en] PROOF SEARCH [en] PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC [en] SEQUENT CALCULUS
Online Access:	https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=56122@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=56122@2 http://doi.org/10.17771/PUCRio.acad.56122

Similar Items

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

[en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
by: CECILIA REIS ENGLANDER LUSTOSA
Published: (2015)

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

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

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

[en] MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
by: MARIA FERNANDA PALLARES COLOMAR
Published: (2008)

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

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

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

[en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC
by: JULIANA CARPES IMPERIAL
Published: (2004)

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

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

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

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

[en] WHAT IS SKELETON OF A PROOF
by: EDUARDO NAHUM OCHS
Published: (2004)

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

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

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

[en] CONTRIBUTION TO THE STUDY OF THE TEMPORAL CHARACTER OF WILLIAM OF OCKHAM´S LOGIC
by: GUILHERME LOUIS WYLLIE MEDICI
Published: (2005)

[en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK
by: GOFREDO JORGE DA COSTA MOREIRA
Published: (2009)

[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] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING
by: ANDRE NASCIMENTO PONTES
Published: (2015)

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

[en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES
by: ROMULO DE CARVALHO MAGALHAES
Published: (2016)

[en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT
by: CRISTHIAN JULIAN GOMEZ LIZCANO
Published: (2016)

[en] ANALYTIC STUDY AND NUMERIC SIMULATION FOR THRESHOLD LOGIC
by: FERNANDO AYRES CASTRO FILHO
Published: (2008)

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

[en] APPLICATIONS OF THE FIRST CONSISTENCY PROOF PRESENTED BY GENTZEN FOR PEANO ARITHMETIC
by: MARIA FERNANDA PALLARES COLOMAR
Published: (2003)

[en] THE INFINITE JUDGMENTS: THEIR FUNCTION AND THEIR NATURE - SOME ASPECTS OF THE PREDICATIVE NEGATION IN THE CRITIQUE OF PURE REASON
by: FABIO FRANCOIS MENDONCA DA FONSECA
Published: (2008)

[en] THE SIR KARL POPPER`S POSTDARWINIAN EPISTEMOLOGY
by: ROGERIO SOARES DA COSTA
Published: (2008)

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

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

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

[en] DATA CLUSTERING: ANALYSIS OF METHODS AND DEVELOPMENT OF APPLICATION FOR CLUSTER ANALYSIS
by: MARCOS NEVES DO VALE
Published: (2006)

[en] BILINGUALITY MEASUREMENT: A PROPOSE
by: ANA CLAUDIA PETERS SALGADO
Published: (2008)

[en] TRUST IN INTELLIGENT AGENTS
by: JULIANA CARPES IMPERIAL
Published: (2008)

[en] FORECASTING HOURLY ELECTRICITY LOAD FOR LIGHT
by: ANA PAULA BARBOSA SOBRAL
Published: (2005)

[en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM
by: VICTOR BARBOZA BRITO
Published: (2011)

[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
by: GUILHERME GOMES FELIX DA SILVA
Published: (2018)

[en] USE OF FUZZY LOGIC IN META-EVALUATION: AN ALTERNATIVE APPROACH
by: ANA CAROLINA LETICHEVSKY
Published: (2006)

Cannot write session to /tmp/vufind_sessions/sess_quf7oji3tj7peh8o2jb7thf66l