1 resultado para classifier, pragmatics, information transport, symbolic logic
em Repositório Institucional da Universidade de Aveiro - Portugal
Filtro por publicador
- Aberdeen University (4)
- Academic Archive On-line (Karlstad University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (2)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (10)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archive of European Integration (7)
- Aston University Research Archive (18)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (107)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (21)
- Brock University, Canada (3)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (20)
- CentAUR: Central Archive University of Reading - UK (18)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (13)
- Cochin University of Science & Technology (CUSAT), India (3)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (10)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (13)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (4)
- Department of Computer Science E-Repository - King's College London, Strand, London (13)
- Digital Commons - Michigan Tech (2)
- Digital Commons at Florida International University (4)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (10)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (2)
- Institute of Public Health in Ireland, Ireland (6)
- Instituto Politécnico de Bragança (1)
- Instituto Politécnico do Porto, Portugal (88)
- Instituto Superior de Psicologia Aplicada - Lisboa (1)
- Massachusetts Institute of Technology (1)
- National Center for Biotechnology Information - NCBI (2)
- Nottingham eTheses (2)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (18)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (1)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório Científico da Universidade de Évora - Portugal (3)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (67)
- Repositório da Produção Científica e Intelectual da Unicamp (14)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (4)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (16)
- Repositorio Institucional Universidad de Medellín (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (49)
- Scielo Saúde Pública - SP (13)
- Universidad de Alicante (3)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (77)
- Universidade Complutense de Madrid (1)
- Universidade do Minho (3)
- Universidade dos Açores - Portugal (2)
- Universidade Federal do Pará (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (3)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (6)
- Université de Lausanne, Switzerland (11)
- Université de Montréal, Canada (3)
- Université Laval Mémoires et thèses électroniques (1)
- University of Michigan (33)
- University of Queensland eSpace - Australia (220)
- University of Washington (1)
Resumo:
Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.