Articoli di riviste sul tema "Paraconsistent modal logics"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Paraconsistent modal logics".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.
Rivieccio, Umberto. "Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 278 (novembre 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Avron, Arnon, e Anna Zamansky. "Paraconsistency, self-extensionality, modality". Logic Journal of the IGPL 28, n. 5 (27 novembre 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
ROBLES, GEMMA, e JOSÉ M. MÉNDEZ. "PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4". Review of Symbolic Logic 3, n. 3 (23 luglio 2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, n. 2 (giugno 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Odintsov, Sergei P., e Heinrich Wansing. "Disentangling FDE-Based Paraconsistent Modal Logics". Studia Logica 105, n. 6 (23 settembre 2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Карниэлли, У. "Formal polynomials, heuristics and proofs in logic". Logical Investigations 16 (7 aprile 2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Маркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (9 aprile 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
McGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 143 (gennaio 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Béziau, Jean-Yves. "Many-valuedness from a universal logic perspective". Logical Investigations 26, n. 1 (6 agosto 2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Coscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, n. 2 (giugno 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
CARNIELLI, 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 giugno 2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Kamide, 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 settembre 2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Schwind, 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 giugno 2022): 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Béziau, Jean-Yves. "Paraconsistent logic from a modal viewpoint". Journal of Applied Logic 3, n. 1 (marzo 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Huang, 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.
BAGAI, RAJIV, e RAJSHEKHAR SUNDERRAMAN. "COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES". International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, n. 02 (aprile 1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Esser, Olivier. "A Strong Model of Paraconsistent Logic". Notre Dame Journal of Formal Logic 44, n. 3 (luglio 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Apostoli, 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.
Mendonç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 novembre 2018): 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
Joã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 ottobre 2020): 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Martinez, 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 maggio 2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Shalack, Vladimir I. "On the origins of logical pluralism". Philosophy Journal 15, n. 4 (29 novembre 2022): 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
GAO, TIANTIAN, PAUL FODOR e MICHAEL KIFER. "Paraconsistency and word puzzles". Theory and Practice of Logic Programming 16, n. 5-6 (settembre 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Kamide, Norihiro, e Yoni Zohar. "Modal extension of ideal paraconsistent four-valued logic and its subsystem". Annals of Pure and Applied Logic 171, n. 10 (dicembre 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Iakovleva, Varvara. "Penalty Logic: Paraconsistency and Applications". Логико-философские штудии, n. 1 (15 settembre 2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Ló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 settembre 2023): 207–14. http://dx.doi.org/10.5209/clac.77136.
LÖWE, BENEDIKT, e SOURAV TARAFDER. "GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY". Review of Symbolic Logic 8, n. 1 (12 gennaio 2015): 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Mé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 marzo 2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Da 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 febbraio 2023): 1934. http://dx.doi.org/10.3390/en16041934.
Priest, Graham. "Contradiction and the Instant of Change Revisited". Vivarium 55, n. 1-3 (14 luglio 2017): 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Sedlár, Igor, e Vít Punčochář. "From positive PDL to its non-classical extensions". Logic Journal of the IGPL 27, n. 4 (28 maggio 2019): 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Chen, 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 (maggio 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Rusu, 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) (dicembre 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Mario, 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 ottobre 2021): e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Apostoli, Peter, e Bryson Brown. "A solution to the completeness problem for weakly aggregative modal logic". Journal of Symbolic Logic 60, n. 3 (settembre 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Puga, 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 dicembre 1991): 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Da 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.
K., 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 dicembre 2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Dos 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 dicembre 2021): 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Zamberlan, 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 giugno 2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Mruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin e Vasilyi Shangin. "On Paracomplete Versions of Jaśkowski's Discussive Logic". Bulletin of the Section of Logic, 4 gennaio 2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
CARNIELLI, WALTER, MARCELO E. CONIGLIO e DAVID FUENMAYOR. "LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT". Review of Symbolic Logic, 2 luglio 2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Ramos, Jaime, João Rasga e Cristina Sernadas. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL, 30 gennaio 2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Degauquier, Vincent. "Useful Four-Valued Extension of the Temporal Logic KtT4". Bulletin of the Section of Logic 47, n. 1 (30 marzo 2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Bílková, Marta, Sabine Frittella e Daniil Kozhemiachenko. "Fuzzy bi-Gödel modal logic and its paraconsistent relatives". Journal of Logic and Computation, 31 marzo 2024. http://dx.doi.org/10.1093/logcom/exae011.
Gouveia, Paula, João Rasga e Cristina Sernadas. "Meet-Combination of Consequence Systems". Logic and Logical Philosophy, 29 maggio 2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Skura, Tomasz. "Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D". Studia Logica, 25 aprile 2024. http://dx.doi.org/10.1007/s11225-024-10102-8.
Figallo-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 maggio 2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Mishra, Meha, e A. V. Ravishankar Sarma. "Tolerating Inconsistencies: A Study of Logic of Moral Conflicts". Bulletin of the Section of Logic, 7 giugno 2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
CONIGLIO, 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 dicembre 2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.