Artigos de revistas sobre o tema "Paraconsistent modal logics"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Paraconsistent modal logics".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Rivieccio, Umberto. "Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 278 (novembro de 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Texto completo da fonteAvron, Arnon, e Anna Zamansky. "Paraconsistency, self-extensionality, modality". Logic Journal of the IGPL 28, n.º 5 (27 de novembro de 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Texto completo da fonteROBLES, GEMMA, e JOSÉ M. MÉNDEZ. "PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4". Review of Symbolic Logic 3, n.º 3 (23 de julho de 2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Texto completo da fonteOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, n.º 2 (junho de 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Texto completo da fonteOdintsov, Sergei P., e Heinrich Wansing. "Disentangling FDE-Based Paraconsistent Modal Logics". Studia Logica 105, n.º 6 (23 de setembro de 2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Texto completo da fonteКарниэлли, У. "Formal polynomials, heuristics and proofs in logic". Logical Investigations 16 (7 de abril de 2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Texto completo da fonteМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (9 de abril de 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Texto completo da fonteMcGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 143 (janeiro de 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Texto completo da fonteBéziau, Jean-Yves. "Many-valuedness from a universal logic perspective". Logical Investigations 26, n.º 1 (6 de agosto de 2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Texto completo da fonteCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, n.º 2 (junho de 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Texto completo da fonteCARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI e TARCÍSIO RODRIGUES. "ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY". Review of Symbolic Logic 7, n.º 3 (3 de junho de 2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Texto completo da fonteKamide, Norihiro, e Daiki Koizumi. "Method for Combining Paraconsistency and Probability in Temporal Reasoning". Journal of Advanced Computational Intelligence and Intelligent Informatics 20, n.º 5 (20 de setembro de 2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Texto completo da fonteSchwind, Nicolas, Sébastien Konieczny e Ramón Pino Pérez. "On Paraconsistent Belief Revision in LP". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junho de 2022): 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Texto completo da fonteBéziau, Jean-Yves. "Paraconsistent logic from a modal viewpoint". Journal of Applied Logic 3, n.º 1 (março de 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Texto completo da fonteHuang, Shasha, Jing Hao e Dang Luo. "Incoherency Problems in a Combination of Description Logics and Rules". Journal of Applied Mathematics 2014 (2014): 1–6. http://dx.doi.org/10.1155/2014/604753.
Texto completo da fonteBAGAI, RAJIV, e RAJSHEKHAR SUNDERRAMAN. "COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES". International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, n.º 02 (abril de 1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Texto completo da fonteEsser, Olivier. "A Strong Model of Paraconsistent Logic". Notre Dame Journal of Formal Logic 44, n.º 3 (julho de 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Texto completo da fonteApostoli, Peter. "Modal Aggregation and the Theory of Paraconsistent Filters". Mathematical Logic Quarterly 42, n.º 1 (1996): 175–90. http://dx.doi.org/10.1002/malq.19960420115.
Texto completo da fonteMendonça, Bruno R., e Walter A. Carnielli. "Fraïssé’s theorem for logics of formal inconsistency". Logic Journal of the IGPL 28, n.º 5 (29 de novembro de 2018): 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
Texto completo da fonteJoão Inácio da Silva Filho. "Application of Shannon Entropy in the Construction of a Paraconsistent Model of the Atom". JOURNAL OF ADVANCES IN PHYSICS 18 (11 de outubro de 2020): 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Texto completo da fonteMartinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi e Jair Minoro Abe. "Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions". AgriEngineering 6, n.º 2 (6 de maio de 2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Texto completo da fonteShalack, Vladimir I. "On the origins of logical pluralism". Philosophy Journal 15, n.º 4 (29 de novembro de 2022): 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
Texto completo da fonteGAO, TIANTIAN, PAUL FODOR e MICHAEL KIFER. "Paraconsistency and word puzzles". Theory and Practice of Logic Programming 16, n.º 5-6 (setembro de 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Texto completo da fonteKamide, Norihiro, e Yoni Zohar. "Modal extension of ideal paraconsistent four-valued logic and its subsystem". Annals of Pure and Applied Logic 171, n.º 10 (dezembro de 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Texto completo da fonteIakovleva, Varvara. "Penalty Logic: Paraconsistency and Applications". Логико-философские штудии, n.º 1 (15 de setembro de 2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Texto completo da fonteLópez Astorga, Miguel. "Jaina logic: a model-based analysis of the seven predications". Círculo de Lingüística Aplicada a la Comunicación 95 (18 de setembro de 2023): 207–14. http://dx.doi.org/10.5209/clac.77136.
Texto completo da fonteLÖWE, BENEDIKT, e SOURAV TARAFDER. "GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY". Review of Symbolic Logic 8, n.º 1 (12 de janeiro de 2015): 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Texto completo da fonteMéndez, José M., e Gemma Robles. "Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators". Journal of Logic, Language and Information 25, n.º 2 (1 de março de 2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Texto completo da fonteDa Silva Filho, João Inácio, Raphael Adamelk Bispo de Oliveira, Marcos Carneiro Rodrigues, Hyghor Miranda Côrtes, Alexandre Rocco, Mauricio Conceição Mario, Dorotéa Vilanova Garcia et al. "Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control". Energies 16, n.º 4 (15 de fevereiro de 2023): 1934. http://dx.doi.org/10.3390/en16041934.
Texto completo da fontePriest, Graham. "Contradiction and the Instant of Change Revisited". Vivarium 55, n.º 1-3 (14 de julho de 2017): 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Texto completo da fonteSedlár, Igor, e Vít Punčochář. "From positive PDL to its non-classical extensions". Logic Journal of the IGPL 27, n.º 4 (28 de maio de 2019): 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Texto completo da fonteChen, Donghuo, e Jinzhao Wu. "Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic". Electronic Notes in Theoretical Computer Science 157, n.º 1 (maio de 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Texto completo da fonteRusu, Andrei, e Elena Rusu. "On some classes of formulas in S5 which are pre-complete relative to existential expressibility". Computer Science Journal of Moldova 31, n.º 3(93) (dezembro de 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Texto completo da fonteMario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior e Heraldo Silveira Barbuy. "Characterization and classification of numerical data patterns using Annotated Paraconsistent Logic and the effect of contradiction". Research, Society and Development 10, n.º 13 (22 de outubro de 2021): e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Texto completo da fonteApostoli, Peter, e Bryson Brown. "A solution to the completeness problem for weakly aggregative modal logic". Journal of Symbolic Logic 60, n.º 3 (setembro de 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Texto completo da fontePuga, Leila Z., Newton C. A. Da Costa e Roberto J. Vernengo. "Lógicas normativas, moral y derecho". Crítica (México D. F. En línea) 23, n.º 69 (13 de dezembro de 1991): 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Texto completo da fonteDa Silva Filho, João Inácio. "Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions". Journal of Quantum Information Science 06, n.º 03 (2016): 143–80. http://dx.doi.org/10.4236/jqis.2016.63012.
Texto completo da fonteK., Veerasamy, e E. J. Thomson Fredrik. "Intelligent Farming based on Uncertainty Expert System with Butterfly Optimization Algorithm for Crop Recommendation". Journal of Internet Services and Information Security 13, n.º 4 (2 de dezembro de 2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Texto completo da fonteDos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano e Mauricio Conceição Mario. "Desenvolvimento de um Modelo em Lógica Paraconsistente para Monitoração de Bombas Centrifugas durante a Operação de uma Refinaria de Petróleo / Development of a Paraconsistent Logic Model for Monitoring Centrifugal Pumps during the Operation of an Oil Refinery". Brazilian Journal of Development 7, n.º 12 (29 de dezembro de 2021): 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Texto completo da fonteZamberlan, Miguel Fabrício, e Carolina Yukari Veludo Watanabe. "The adoption of an indicator panel in educational management to decision-making support". International Journal for Innovation Education and Research 8, n.º 6 (1 de junho de 2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Texto completo da fonteMruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin e Vasilyi Shangin. "On Paracomplete Versions of Jaśkowski's Discussive Logic". Bulletin of the Section of Logic, 4 de janeiro de 2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
Texto completo da fonteCARNIELLI, WALTER, MARCELO E. CONIGLIO e DAVID FUENMAYOR. "LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT". Review of Symbolic Logic, 2 de julho de 2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Texto completo da fonteRamos, Jaime, João Rasga e Cristina Sernadas. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL, 30 de janeiro de 2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Texto completo da fonteDegauquier, Vincent. "Useful Four-Valued Extension of the Temporal Logic KtT4". Bulletin of the Section of Logic 47, n.º 1 (30 de março de 2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Texto completo da fonteBílková, Marta, Sabine Frittella e Daniil Kozhemiachenko. "Fuzzy bi-Gödel modal logic and its paraconsistent relatives". Journal of Logic and Computation, 31 de março de 2024. http://dx.doi.org/10.1093/logcom/exae011.
Texto completo da fonteGouveia, Paula, João Rasga e Cristina Sernadas. "Meet-Combination of Consequence Systems". Logic and Logical Philosophy, 29 de maio de 2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Texto completo da fonteSkura, Tomasz. "Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D". Studia Logica, 25 de abril de 2024. http://dx.doi.org/10.1007/s11225-024-10102-8.
Texto completo da fonteFigallo-Orellano, Aldo, Miguel Peréz-Gaspar e Juan Manuel Ramírez-Contreras. "Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras". Studia Logica, 28 de maio de 2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Texto completo da fonteMishra, Meha, e A. V. Ravishankar Sarma. "Tolerating Inconsistencies: A Study of Logic of Moral Conflicts". Bulletin of the Section of Logic, 7 de junho de 2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
Texto completo da fonteCONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA e MARTÍN FIGALLO. "SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE". Review of Symbolic Logic, 9 de dezembro de 2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.
Texto completo da fonte