Artículos de revistas sobre el tema "Paraconsistent modal logics"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Paraconsistent modal logics".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Rivieccio, Umberto. "Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 278 (noviembre de 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Texto completoAvron, Arnon y Anna Zamansky. "Paraconsistency, self-extensionality, modality". Logic Journal of the IGPL 28, n.º 5 (27 de noviembre de 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Texto completoROBLES, GEMMA y JOSÉ M. MÉNDEZ. "PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4". Review of Symbolic Logic 3, n.º 3 (23 de julio de 2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Texto completoOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, n.º 2 (junio de 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Texto completoOdintsov, Sergei P. y Heinrich Wansing. "Disentangling FDE-Based Paraconsistent Modal Logics". Studia Logica 105, n.º 6 (23 de septiembre de 2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Texto completoКарниэлли, У. "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Маркин, В. И. "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 completoMcGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 143 (enero de 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Texto completoBé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 completoCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, n.º 2 (junio de 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Texto completoCARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI y 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 junio de 2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Texto completoKamide, Norihiro y Daiki Koizumi. "Method for Combining Paraconsistency and Probability in Temporal Reasoning". Journal of Advanced Computational Intelligence and Intelligent Informatics 20, n.º 5 (20 de septiembre de 2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Texto completoSchwind, Nicolas, Sébastien Konieczny y Ramón Pino Pérez. "On Paraconsistent Belief Revision in LP". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Texto completoBéziau, Jean-Yves. "Paraconsistent logic from a modal viewpoint". Journal of Applied Logic 3, n.º 1 (marzo de 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Texto completoHuang, Shasha, Jing Hao y 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 completoBAGAI, RAJIV y 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 completoEsser, Olivier. "A Strong Model of Paraconsistent Logic". Notre Dame Journal of Formal Logic 44, n.º 3 (julio de 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Texto completoApostoli, 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 completoMendonça, Bruno R. y Walter A. Carnielli. "Fraïssé’s theorem for logics of formal inconsistency". Logic Journal of the IGPL 28, n.º 5 (29 de noviembre de 2018): 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
Texto completoJoã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 octubre de 2020): 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Texto completoMartinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi y Jair Minoro Abe. "Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions". AgriEngineering 6, n.º 2 (6 de mayo de 2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Texto completoShalack, Vladimir I. "On the origins of logical pluralism". Philosophy Journal 15, n.º 4 (29 de noviembre de 2022): 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
Texto completoGAO, TIANTIAN, PAUL FODOR y MICHAEL KIFER. "Paraconsistency and word puzzles". Theory and Practice of Logic Programming 16, n.º 5-6 (septiembre de 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Texto completoKamide, Norihiro y Yoni Zohar. "Modal extension of ideal paraconsistent four-valued logic and its subsystem". Annals of Pure and Applied Logic 171, n.º 10 (diciembre de 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Texto completoIakovleva, Varvara. "Penalty Logic: Paraconsistency and Applications". Логико-философские штудии, n.º 1 (15 de septiembre de 2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Texto completoLó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 septiembre de 2023): 207–14. http://dx.doi.org/10.5209/clac.77136.
Texto completoLÖWE, BENEDIKT y SOURAV TARAFDER. "GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY". Review of Symbolic Logic 8, n.º 1 (12 de enero de 2015): 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Texto completoMéndez, José M. y 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 marzo de 2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Texto completoDa 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 febrero de 2023): 1934. http://dx.doi.org/10.3390/en16041934.
Texto completoPriest, Graham. "Contradiction and the Instant of Change Revisited". Vivarium 55, n.º 1-3 (14 de julio de 2017): 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Texto completoSedlár, Igor y Vít Punčochář. "From positive PDL to its non-classical extensions". Logic Journal of the IGPL 27, n.º 4 (28 de mayo de 2019): 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Texto completoChen, Donghuo y Jinzhao Wu. "Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic". Electronic Notes in Theoretical Computer Science 157, n.º 1 (mayo de 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Texto completoRusu, Andrei y 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) (diciembre de 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Texto completoMario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior y 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 octubre de 2021): e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Texto completoApostoli, Peter y Bryson Brown. "A solution to the completeness problem for weakly aggregative modal logic". Journal of Symbolic Logic 60, n.º 3 (septiembre de 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Texto completoPuga, Leila Z., Newton C. A. Da Costa y Roberto J. Vernengo. "Lógicas normativas, moral y derecho". Crítica (México D. F. En línea) 23, n.º 69 (13 de diciembre de 1991): 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Texto completoDa 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 completoK., Veerasamy y 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 diciembre de 2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Texto completoDos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano y 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 diciembre de 2021): 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Texto completoZamberlan, Miguel Fabrício y 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 junio de 2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Texto completoMruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin y Vasilyi Shangin. "On Paracomplete Versions of Jaśkowski's Discussive Logic". Bulletin of the Section of Logic, 4 de enero de 2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
Texto completoCARNIELLI, WALTER, MARCELO E. CONIGLIO y DAVID FUENMAYOR. "LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT". Review of Symbolic Logic, 2 de julio de 2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Texto completoRamos, Jaime, João Rasga y Cristina Sernadas. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL, 30 de enero de 2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Texto completoDegauquier, Vincent. "Useful Four-Valued Extension of the Temporal Logic KtT4". Bulletin of the Section of Logic 47, n.º 1 (30 de marzo de 2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Texto completoBílková, Marta, Sabine Frittella y Daniil Kozhemiachenko. "Fuzzy bi-Gödel modal logic and its paraconsistent relatives". Journal of Logic and Computation, 31 de marzo de 2024. http://dx.doi.org/10.1093/logcom/exae011.
Texto completoGouveia, Paula, João Rasga y Cristina Sernadas. "Meet-Combination of Consequence Systems". Logic and Logical Philosophy, 29 de mayo de 2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Texto completoSkura, 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 completoFigallo-Orellano, Aldo, Miguel Peréz-Gaspar y Juan Manuel Ramírez-Contreras. "Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras". Studia Logica, 28 de mayo de 2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Texto completoMishra, Meha y A. V. Ravishankar Sarma. "Tolerating Inconsistencies: A Study of Logic of Moral Conflicts". Bulletin of the Section of Logic, 7 de junio de 2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
Texto completoCONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA y MARTÍN FIGALLO. "SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE". Review of Symbolic Logic, 9 de diciembre de 2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.
Texto completo