Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(paraconsistent logic). Showing records 1 – 20 of 20 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Alberta

1. Pona, Nika. The False Only Problem For Dialetheism.

Degree: MA, Department of Philosophy, 2013, University of Alberta

Paraconsistent logics reject the validity of the principle that says that from a contradiction one can derive any proposition. A dialetheist is a paraconsistent logician… (more)

Subjects/Keywords: paraconsistent logic; dialetheism; disagreement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pona, N. (2013). The False Only Problem For Dialetheism. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/s1784m72b

Chicago Manual of Style (16th Edition):

Pona, Nika. “The False Only Problem For Dialetheism.” 2013. Masters Thesis, University of Alberta. Accessed October 13, 2019. https://era.library.ualberta.ca/files/s1784m72b.

MLA Handbook (7th Edition):

Pona, Nika. “The False Only Problem For Dialetheism.” 2013. Web. 13 Oct 2019.

Vancouver:

Pona N. The False Only Problem For Dialetheism. [Internet] [Masters thesis]. University of Alberta; 2013. [cited 2019 Oct 13]. Available from: https://era.library.ualberta.ca/files/s1784m72b.

Council of Science Editors:

Pona N. The False Only Problem For Dialetheism. [Masters Thesis]. University of Alberta; 2013. Available from: https://era.library.ualberta.ca/files/s1784m72b

2. Jayakumar, Badrinath. Handling Inconsistency in Knowledge Bases.

Degree: PhD, Computer Science, 2017, Georgia State University

  Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such… (more)

Subjects/Keywords: Paraconsistent logics; Paraconsistent Relations; Description logic; Semantic Web; Description Logic Programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jayakumar, B. (2017). Handling Inconsistency in Knowledge Bases. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_diss/120

Chicago Manual of Style (16th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Doctoral Dissertation, Georgia State University. Accessed October 13, 2019. https://scholarworks.gsu.edu/cs_diss/120.

MLA Handbook (7th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Web. 13 Oct 2019.

Vancouver:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2019 Oct 13]. Available from: https://scholarworks.gsu.edu/cs_diss/120.

Council of Science Editors:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Doctoral Dissertation]. Georgia State University; 2017. Available from: https://scholarworks.gsu.edu/cs_diss/120

3. Dídimo George de Assis Matos. Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.

Degree: 2012, Universidade Federal da Paraíba

O presente trabalho examina dois dos resultados de da Costa a fim de mostrar sua utilidade para a filosofia e apontar possíveis desenvolvimentos filosóficos. Examina-se,… (more)

Subjects/Keywords: FILOSOFIA; logic; paraconsistent logic; quasi-truth; lógica paraconsistente; lógica; quase-verdade

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Matos, D. G. d. A. (2012). Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa. (Thesis). Universidade Federal da Paraíba. Retrieved from http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2564

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Matos, Dídimo George de Assis. “Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.” 2012. Thesis, Universidade Federal da Paraíba. Accessed October 13, 2019. http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2564.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Matos, Dídimo George de Assis. “Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.” 2012. Web. 13 Oct 2019.

Vancouver:

Matos DGdA. Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa. [Internet] [Thesis]. Universidade Federal da Paraíba; 2012. [cited 2019 Oct 13]. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2564.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Matos DGdA. Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa. [Thesis]. Universidade Federal da Paraíba; 2012. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2564

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Alberta

4. Tedder, Andrew J. Paraconsistent Logic for Dialethic Arithmetics.

Degree: MA, Department of Philosophy, 2014, University of Alberta

 Inconsistent and collapse models of arithmetic are presented in the language and semantics of the simple paraconsistent logic LP. I present a logic which extends… (more)

Subjects/Keywords: Non-standard Models of Arithmetic; Paraconsistent Logic; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tedder, A. J. (2014). Paraconsistent Logic for Dialethic Arithmetics. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/gb19f6175

Chicago Manual of Style (16th Edition):

Tedder, Andrew J. “Paraconsistent Logic for Dialethic Arithmetics.” 2014. Masters Thesis, University of Alberta. Accessed October 13, 2019. https://era.library.ualberta.ca/files/gb19f6175.

MLA Handbook (7th Edition):

Tedder, Andrew J. “Paraconsistent Logic for Dialethic Arithmetics.” 2014. Web. 13 Oct 2019.

Vancouver:

Tedder AJ. Paraconsistent Logic for Dialethic Arithmetics. [Internet] [Masters thesis]. University of Alberta; 2014. [cited 2019 Oct 13]. Available from: https://era.library.ualberta.ca/files/gb19f6175.

Council of Science Editors:

Tedder AJ. Paraconsistent Logic for Dialethic Arithmetics. [Masters Thesis]. University of Alberta; 2014. Available from: https://era.library.ualberta.ca/files/gb19f6175

5. Godoy, Saul Gurfinkel Marques de. Estudos sobre a lógica paraconsciente DL e aplicações em Direito.

Degree: Mestrado, Filosofia, 2009, University of São Paulo

O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm… (more)

Subjects/Keywords: Direito; DL paraconsistent; Law; Logic; Lógica; Lógica DL; Paraconsistente

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Godoy, S. G. M. d. (2009). Estudos sobre a lógica paraconsciente DL e aplicações em Direito. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/ ;

Chicago Manual of Style (16th Edition):

Godoy, Saul Gurfinkel Marques de. “Estudos sobre a lógica paraconsciente DL e aplicações em Direito.” 2009. Masters Thesis, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/ ;.

MLA Handbook (7th Edition):

Godoy, Saul Gurfinkel Marques de. “Estudos sobre a lógica paraconsciente DL e aplicações em Direito.” 2009. Web. 13 Oct 2019.

Vancouver:

Godoy SGMd. Estudos sobre a lógica paraconsciente DL e aplicações em Direito. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/ ;.

Council of Science Editors:

Godoy SGMd. Estudos sobre a lógica paraconsciente DL e aplicações em Direito. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/ ;


University of Melbourne

6. Su, Che-Ping. Justification logics for conflicting Information.

Degree: 2015, University of Melbourne

 In this thesis, I will develop two types of justification logic systems. Both logics deal with inconsistent information. In the first half of this thesis,… (more)

Subjects/Keywords: logic; modal logic; justification logic; inconsistent information; conflicting information; paraconsistent logic; belief revision; formal argumentation theory; the Realization Theorem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Su, C. (2015). Justification logics for conflicting Information. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/58430

Chicago Manual of Style (16th Edition):

Su, Che-Ping. “Justification logics for conflicting Information.” 2015. Doctoral Dissertation, University of Melbourne. Accessed October 13, 2019. http://hdl.handle.net/11343/58430.

MLA Handbook (7th Edition):

Su, Che-Ping. “Justification logics for conflicting Information.” 2015. Web. 13 Oct 2019.

Vancouver:

Su C. Justification logics for conflicting Information. [Internet] [Doctoral dissertation]. University of Melbourne; 2015. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/11343/58430.

Council of Science Editors:

Su C. Justification logics for conflicting Information. [Doctoral Dissertation]. University of Melbourne; 2015. Available from: http://hdl.handle.net/11343/58430

7. Valdemir Silva Souza. Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente.

Degree: 2009, Instituto Nacional de Pesquisas Espaciais

This work presents a non-parametric technique that uses the paraconsistent logic to develop a data mining based approach to analyze reanalysis meteorological data of five… (more)

Subjects/Keywords: lógica paraconsistente; rede neural artificial; padrões climáticos; mineração de dados; paraconsistent logic; artificial neural network; climatic patterns; data mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Souza, V. S. (2009). Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente. (Thesis). Instituto Nacional de Pesquisas Espaciais. Retrieved from http://urlib.net/sid.inpe.br/[email protected]/2009/04.30.22.30

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Souza, Valdemir Silva. “Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente.” 2009. Thesis, Instituto Nacional de Pesquisas Espaciais. Accessed October 13, 2019. http://urlib.net/sid.inpe.br/[email protected]/2009/04.30.22.30.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Souza, Valdemir Silva. “Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente.” 2009. Web. 13 Oct 2019.

Vancouver:

Souza VS. Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente. [Internet] [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2009. [cited 2019 Oct 13]. Available from: http://urlib.net/sid.inpe.br/[email protected]/2009/04.30.22.30.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Souza VS. Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente. [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2009. Available from: http://urlib.net/sid.inpe.br/[email protected]/2009/04.30.22.30

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Carnevale de Almeida, Iara. Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation.

Degree: 2011, Universidade de Évora

 The main objective of this dissertation is to define an argumentation-based negotiation framework for distributed knowledge bases. Knowledge bases are modeling over a multi-agent setting… (more)

Subjects/Keywords: Artificial Intelligence; Knowledge Representation; Logic Programming; Consistent and Paraconsistent; Incomplete Knowledge; Cooperation; Negotiation based-argumentation semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carnevale de Almeida, I. (2011). Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation. (Thesis). Universidade de Évora. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/2599

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Carnevale de Almeida, Iara. “Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation.” 2011. Thesis, Universidade de Évora. Accessed October 13, 2019. https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/2599.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Carnevale de Almeida, Iara. “Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation.” 2011. Web. 13 Oct 2019.

Vancouver:

Carnevale de Almeida I. Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation. [Internet] [Thesis]. Universidade de Évora; 2011. [cited 2019 Oct 13]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/2599.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carnevale de Almeida I. Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation. [Thesis]. Universidade de Évora; 2011. Available from: https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/2599

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Canterbury

9. McKubre-Jordens M. Classifying Material Implications over Minimal Logic.

Degree: 2018, University of Canterbury

 The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years [2–5, 11]. In this note, we investigate some… (more)

Subjects/Keywords: reverse mathematics; minimal logic; ex falso quodlibet; implication; paraconsistent logic; Peirce’s principle; Field of Research::01 - Mathematical Sciences::0101 - Pure Mathematics::010107 - Mathematical Logic, Set Theory, Lattices and Universal Algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

M, M. (2018). Classifying Material Implications over Minimal Logic. (Thesis). University of Canterbury. Retrieved from http://hdl.handle.net/10092/15825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

M, McKubre-Jordens. “Classifying Material Implications over Minimal Logic.” 2018. Thesis, University of Canterbury. Accessed October 13, 2019. http://hdl.handle.net/10092/15825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

M, McKubre-Jordens. “Classifying Material Implications over Minimal Logic.” 2018. Web. 13 Oct 2019.

Vancouver:

M M. Classifying Material Implications over Minimal Logic. [Internet] [Thesis]. University of Canterbury; 2018. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10092/15825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

M M. Classifying Material Implications over Minimal Logic. [Thesis]. University of Canterbury; 2018. Available from: http://hdl.handle.net/10092/15825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. Souza, Paulo Roberto Schroeder de. Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta.

Degree: PhD, Sistemas Eletrônicos, 2009, University of São Paulo

 Vários métodos estatísticos aplicados à medicina diagnóstica sofreram, nas últimas décadas, enormes avanços. Grande parte destes métodos está voltada ao problema de classificar indivíduos em… (more)

Subjects/Keywords: Decision support systems; Evidências; Lógica Não-Clássica; Lógica Paraconsistente Anotada; LPA2v; LPA2v; Non-Classic Logic; ParaBayes; ParaBayes; Paraconsistent Logic Annotated; Pragmatic probability; Probabilidade pragmática; Sistemas de apoio à decisão

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Souza, P. R. S. d. (2009). Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3142/tde-11022009-102011/ ;

Chicago Manual of Style (16th Edition):

Souza, Paulo Roberto Schroeder de. “Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta.” 2009. Doctoral Dissertation, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/3/3142/tde-11022009-102011/ ;.

MLA Handbook (7th Edition):

Souza, Paulo Roberto Schroeder de. “Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta.” 2009. Web. 13 Oct 2019.

Vancouver:

Souza PRSd. Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta. [Internet] [Doctoral dissertation]. University of São Paulo; 2009. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-11022009-102011/ ;.

Council of Science Editors:

Souza PRSd. Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta. [Doctoral Dissertation]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-11022009-102011/ ;

11. Ignacio, Juliano da Silva. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X.

Degree: Mestrado, Tecnologia Nuclear - Materiais, 2013, University of São Paulo

O Processamento e Análise Digital de Imagens é utilizado cada vez mais para agilizar processos, aumentar a precisão, segurança e confiabilidade de dados extraídos de… (more)

Subjects/Keywords: Análise de Imagens; Annotated Paraconsistent Logic; crescimento de grãos; Digital Image Processing; grain growth; Image Analysis; Lógica Paraconsistente Anotada; LPA; LPA; Método Paraconsistente de Decisão; MPD; MPD; PADI; PADI; Paraconsistent Decision Method; PDI; PDI; Processamento Digital de Imagens; recristalização; Recrystallization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ignacio, J. d. S. (2013). Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/ ;

Chicago Manual of Style (16th Edition):

Ignacio, Juliano da Silva. “Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X.” 2013. Masters Thesis, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/ ;.

MLA Handbook (7th Edition):

Ignacio, Juliano da Silva. “Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X.” 2013. Web. 13 Oct 2019.

Vancouver:

Ignacio JdS. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X. [Internet] [Masters thesis]. University of São Paulo; 2013. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/ ;.

Council of Science Editors:

Ignacio JdS. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X. [Masters Thesis]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/ ;

12. Beirlaen, Mathieu. Tolerating normative conflicts in deontic logic.

Degree: 2012, Ghent University

Subjects/Keywords: Philosophy and Religion; normative conflicts; non-monotonic logic; paraconsistent logic; deontic logic; adaptive logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Beirlaen, M. (2012). Tolerating normative conflicts in deontic logic. (Thesis). Ghent University. Retrieved from http://hdl.handle.net/1854/LU-2973603

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Beirlaen, Mathieu. “Tolerating normative conflicts in deontic logic.” 2012. Thesis, Ghent University. Accessed October 13, 2019. http://hdl.handle.net/1854/LU-2973603.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Beirlaen, Mathieu. “Tolerating normative conflicts in deontic logic.” 2012. Web. 13 Oct 2019.

Vancouver:

Beirlaen M. Tolerating normative conflicts in deontic logic. [Internet] [Thesis]. Ghent University; 2012. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/1854/LU-2973603.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Beirlaen M. Tolerating normative conflicts in deontic logic. [Thesis]. Ghent University; 2012. Available from: http://hdl.handle.net/1854/LU-2973603

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

13. Lopes, Helder Frederico da Silva. Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer.

Degree: Mestrado, Neurologia, 2009, University of São Paulo

A análise visual do eletroencefalograma (EEG) tem se mostrado útil na ajuda diagnóstica da doença de Alzheimer (DA), sendo indicado em alguns protocolos clínicos quando… (more)

Subjects/Keywords: Alzheimer disease; Artificial neural networks; Doença de Alzheimer; Electroencephalography; Eletroencefalografia; Lógica paraconsistente; Paraconsistent logic; Partner recognition; Reconhecimento de padrões; Redes neurais artificiais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lopes, H. F. d. S. (2009). Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/5/5138/tde-28092009-135410/ ;

Chicago Manual of Style (16th Edition):

Lopes, Helder Frederico da Silva. “Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer.” 2009. Masters Thesis, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/5/5138/tde-28092009-135410/ ;.

MLA Handbook (7th Edition):

Lopes, Helder Frederico da Silva. “Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer.” 2009. Web. 13 Oct 2019.

Vancouver:

Lopes HFdS. Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/5/5138/tde-28092009-135410/ ;.

Council of Science Editors:

Lopes HFdS. Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/5/5138/tde-28092009-135410/ ;

14. Masotti, Paulo Henrique Ferraz. "Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais".

Degree: PhD, Tecnologia Nuclear - Reatores, 2006, University of São Paulo

A área de monitoração e diagnóstico vem apresentando um acentuado desenvolvimento nos últimos anos com a introdução de novas técnicas de diagnóstico bem como vem… (more)

Subjects/Keywords: ball bearings; logica paraconsistente; paraconsistent logic; rolamentos; transformada wavelet; wavelet transform

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Masotti, P. H. F. (2006). "Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais". (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/85/85133/tde-28052007-165556/ ;

Chicago Manual of Style (16th Edition):

Masotti, Paulo Henrique Ferraz. “"Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais".” 2006. Doctoral Dissertation, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/85/85133/tde-28052007-165556/ ;.

MLA Handbook (7th Edition):

Masotti, Paulo Henrique Ferraz. “"Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais".” 2006. Web. 13 Oct 2019.

Vancouver:

Masotti PHF. "Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais". [Internet] [Doctoral dissertation]. University of São Paulo; 2006. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/85/85133/tde-28052007-165556/ ;.

Council of Science Editors:

Masotti PHF. "Metodologia de monitoração e diagnóstico automatizado de rolamentos utilizando lógica paraconsistente, transformada de wavelet e processamento de sinais digitais". [Doctoral Dissertation]. University of São Paulo; 2006. Available from: http://www.teses.usp.br/teses/disponiveis/85/85133/tde-28052007-165556/ ;


Pontifícia Universidade Católica de São Paulo

15. Diogo Henrique Bispo Dias. Lógicas paraconsistentes de um ponto de vista filosófico.

Degree: 2013, Pontifícia Universidade Católica de São Paulo

This master s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic,… (more)

Subjects/Keywords: FILOSOFIA; Lógica paraconsistente; Dialeteismo; Lógica paraclássica; Lei de não-contradição; Explosão; Paraconsistentização; Paraconsistent logics; Dialetheism; Paraclassical logic; Law of non-contradiction; Paraconsistentization; Explosion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dias, D. H. B. (2013). Lógicas paraconsistentes de um ponto de vista filosófico. (Thesis). Pontifícia Universidade Católica de São Paulo. Retrieved from http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=15848

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Dias, Diogo Henrique Bispo. “Lógicas paraconsistentes de um ponto de vista filosófico.” 2013. Thesis, Pontifícia Universidade Católica de São Paulo. Accessed October 13, 2019. http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=15848.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Dias, Diogo Henrique Bispo. “Lógicas paraconsistentes de um ponto de vista filosófico.” 2013. Web. 13 Oct 2019.

Vancouver:

Dias DHB. Lógicas paraconsistentes de um ponto de vista filosófico. [Internet] [Thesis]. Pontifícia Universidade Católica de São Paulo; 2013. [cited 2019 Oct 13]. Available from: http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=15848.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dias DHB. Lógicas paraconsistentes de um ponto de vista filosófico. [Thesis]. Pontifícia Universidade Católica de São Paulo; 2013. Available from: http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=15848

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Louisiana State University

16. Aristidou, Michael. Irrationality and human reasoning.

Degree: MA, Arts and Humanities, 2004, Louisiana State University

 In his account of intentional interpretation, Donald Davidson assumes that people are mostly rational. Several psychological experiments though, reveal that human beings deviate drastically from… (more)

Subjects/Keywords: logic; charity; paraconsistent; irrationality; rationality; selection task; probability; pragmtism; contradiction; fuzzy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Aristidou, M. (2004). Irrationality and human reasoning. (Masters Thesis). Louisiana State University. Retrieved from etd-04132004-193119 ; https://digitalcommons.lsu.edu/gradschool_theses/2918

Chicago Manual of Style (16th Edition):

Aristidou, Michael. “Irrationality and human reasoning.” 2004. Masters Thesis, Louisiana State University. Accessed October 13, 2019. etd-04132004-193119 ; https://digitalcommons.lsu.edu/gradschool_theses/2918.

MLA Handbook (7th Edition):

Aristidou, Michael. “Irrationality and human reasoning.” 2004. Web. 13 Oct 2019.

Vancouver:

Aristidou M. Irrationality and human reasoning. [Internet] [Masters thesis]. Louisiana State University; 2004. [cited 2019 Oct 13]. Available from: etd-04132004-193119 ; https://digitalcommons.lsu.edu/gradschool_theses/2918.

Council of Science Editors:

Aristidou M. Irrationality and human reasoning. [Masters Thesis]. Louisiana State University; 2004. Available from: etd-04132004-193119 ; https://digitalcommons.lsu.edu/gradschool_theses/2918

17. Mario, Mauricio Conceição. Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes.

Degree: PhD, Fisiopatologia Experimental, 2006, University of São Paulo

Este trabalho desenvolve um modelo para análise de variáveis craniométricas que utiliza as Redes Neurais Artificiais Paraconsistentes, assentadas na Lógica Paraconsistente Anotada de dois valores.… (more)

Subjects/Keywords: Análise cefalométrica; Artificial intelligence; Cephalometric analysis; Craniometrics variables; Diagnóstico ortodôntico; Inteligência artificial; Lógica paraconsistente; Orthodontic diagnosis; Paraconsistent logic; Paraconsistent neural networks; Redes neurais artificiais paraconsistentes; Variáveis craniométricas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mario, M. C. (2006). Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/5/5160/tde-06112006-130001/ ;

Chicago Manual of Style (16th Edition):

Mario, Mauricio Conceição. “Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes.” 2006. Doctoral Dissertation, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/5/5160/tde-06112006-130001/ ;.

MLA Handbook (7th Edition):

Mario, Mauricio Conceição. “Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes.” 2006. Web. 13 Oct 2019.

Vancouver:

Mario MC. Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes. [Internet] [Doctoral dissertation]. University of São Paulo; 2006. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/5/5160/tde-06112006-130001/ ;.

Council of Science Editors:

Mario MC. Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes. [Doctoral Dissertation]. University of São Paulo; 2006. Available from: http://www.teses.usp.br/teses/disponiveis/5/5160/tde-06112006-130001/ ;

18. Seca Neto, Adolfo Gustavo Serra. \"Um provador de teoremas multi-estratégia\".

Degree: PhD, Ciência da Computação, 2007, University of São Paulo

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas… (more)

Subjects/Keywords: classical logic; desenvolvimento de software; lógica clássica; lógica paraconsistente; lógicas de inconsistência formal; logics of formal inconsistency; método dos tablôs; paraconsistent logic; provadores de teoremas; software development; tableau methods; theorem prover

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Seca Neto, A. G. S. (2007). \"Um provador de teoremas multi-estratégia\". (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/ ;

Chicago Manual of Style (16th Edition):

Seca Neto, Adolfo Gustavo Serra. “\"Um provador de teoremas multi-estratégia\".” 2007. Doctoral Dissertation, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/ ;.

MLA Handbook (7th Edition):

Seca Neto, Adolfo Gustavo Serra. “\"Um provador de teoremas multi-estratégia\".” 2007. Web. 13 Oct 2019.

Vancouver:

Seca Neto AGS. \"Um provador de teoremas multi-estratégia\". [Internet] [Doctoral dissertation]. University of São Paulo; 2007. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/ ;.

Council of Science Editors:

Seca Neto AGS. \"Um provador de teoremas multi-estratégia\". [Doctoral Dissertation]. University of São Paulo; 2007. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/ ;

19. Sirokofskich, Alla. Θεωρία μοντέλων, με έμφαση στην αριθμητική.

Degree: 2007, National and Kapodistrian University of Athens; Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ)

There are a lot of proper subsystems of Peano Arithmetic. For some of these subsystems there are known theorems that provide us with information about… (more)

Subjects/Keywords: Ασθενή υποσυστήματα της Peano αριθμητικής; Λογική του παραδόξου; Weak subsystems of Peano arithmetic; Paraconsistent logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sirokofskich, A. (2007). Θεωρία μοντέλων, με έμφαση στην αριθμητική. (Thesis). National and Kapodistrian University of Athens; Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Retrieved from http://hdl.handle.net/10442/hedi/30609

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sirokofskich, Alla. “Θεωρία μοντέλων, με έμφαση στην αριθμητική.” 2007. Thesis, National and Kapodistrian University of Athens; Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Accessed October 13, 2019. http://hdl.handle.net/10442/hedi/30609.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sirokofskich, Alla. “Θεωρία μοντέλων, με έμφαση στην αριθμητική.” 2007. Web. 13 Oct 2019.

Vancouver:

Sirokofskich A. Θεωρία μοντέλων, με έμφαση στην αριθμητική. [Internet] [Thesis]. National and Kapodistrian University of Athens; Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); 2007. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10442/hedi/30609.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sirokofskich A. Θεωρία μοντέλων, με έμφαση στην αριθμητική. [Thesis]. National and Kapodistrian University of Athens; Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); 2007. Available from: http://hdl.handle.net/10442/hedi/30609

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

20. Carvalho, Fábio Romeu de. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção.

Degree: PhD, Engenharia de Produção, 2006, University of São Paulo

Em Engenharia de Produção, os processos de decisão constituem um dos temas centrais e envolvem fatores de naturezas diversas, que os cercam de dificuldades. Nesses… (more)

Subjects/Keywords: Algoritmo para-analisador; Decision making; Decision rule; Level of requirement; Lógica paraconsistente; Nível de exigência; Non-classical logic systems; Para-analyzer algorithm; Paraconsistent logic; Regra de decisão; Sistemas lógicos não-clássicos; Tomada de decisão

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carvalho, F. R. d. (2006). Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/ ;

Chicago Manual of Style (16th Edition):

Carvalho, Fábio Romeu de. “Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção.” 2006. Doctoral Dissertation, University of São Paulo. Accessed October 13, 2019. http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/ ;.

MLA Handbook (7th Edition):

Carvalho, Fábio Romeu de. “Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção.” 2006. Web. 13 Oct 2019.

Vancouver:

Carvalho FRd. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. [Internet] [Doctoral dissertation]. University of São Paulo; 2006. [cited 2019 Oct 13]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/ ;.

Council of Science Editors:

Carvalho FRd. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. [Doctoral Dissertation]. University of São Paulo; 2006. Available from: http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/ ;

.