Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/11310
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pinto, Luís F. | - |
dc.contributor.author | Uustalu, Tarmo | - |
dc.date.accessioned | 2010-12-16T14:02:25Z | - |
dc.date.available | 2010-12-16T14:02:25Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | GIESE, M. ; WAALER, A., ed. lit. – “International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), 18, Oslo, Norway, 2009”. Berlin : Springer, 2009. p. 295-309. | por |
dc.identifier.isbn | 9783642027154 | por |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/11310 | - |
dc.description.abstract | Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-free labelled sequent calculus for bi-intuitionistic propositional logic, BiInt, following S. Negri's general method for devising sequent calculi for normal modal logics. Although it arises as a natural formalization of the Kripke semantics, it is does not directly support proof search. To describe a proof search procedure, we develop a more algorithmic version that also allows for counter-model extraction from a failed proof attempt. | por |
dc.description.sponsorship | RESCUE - no. PTDC/EIA/65862/2006 | por |
dc.description.sponsorship | Estonian Science Foundation - grants no. 5567; 6940 | por |
dc.description.sponsorship | Centro de matemática da Universidade do Minho | por |
dc.description.sponsorship | TYPES - FP6 IST | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Bi-intuitionistic propositional logic | por |
dc.subject | Labelled sequents | por |
dc.subject | Proof search | por |
dc.subject | Counter-models | por |
dc.title | Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://www.springerlink.com/content/fqh703t1p45718w2/ | por |
sdum.pagination | 295-309 | por |
sdum.publicationstatus | published | por |
oaire.citationConferenceDate | 06 - 10 Jul. 2009 | por |
sdum.event.location | Oslo, Noruega | por |
sdum.event.title | 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | por |
sdum.event.type | conference | por |
oaire.citationStartPage | 295 | por |
oaire.citationEndPage | + | por |
oaire.citationVolume | 5607 | por |
dc.identifier.doi | 10.1007/978-3-642-02716-1_22 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
tableaux09-LPintoTUustalu.pdf | Documento principal | 255,65 kB | Adobe PDF | Ver/Abrir |