Articles de revues sur le sujet « Paraconsistent modal logics »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Paraconsistent modal logics ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
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.
Texte intégralAvron, Arnon, et Anna Zamansky. « Paraconsistency, self-extensionality, modality ». Logic Journal of the IGPL 28, no 5 (27 novembre 2018) : 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Texte intégralROBLES, GEMMA, et JOSÉ M. MÉNDEZ. « PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ». Review of Symbolic Logic 3, no 3 (23 juillet 2010) : 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Texte intégralOliveira, Kleidson Êglicio Carvalho da Silva. « Paraconsistent Logic Programming in Three and Four-Valued Logics ». Bulletin of Symbolic Logic 28, no 2 (juin 2022) : 260. http://dx.doi.org/10.1017/bsl.2021.34.
Texte intégralOdintsov, Sergei P., et Heinrich Wansing. « Disentangling FDE-Based Paraconsistent Modal Logics ». Studia Logica 105, no 6 (23 septembre 2017) : 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Texte intégralКарниэлли, У. « Formal polynomials, heuristics and proofs in logic ». Logical Investigations 16 (7 avril 2010) : 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Texte intégralМаркин, В. И. « What trends in non-classical logic were anticipated by Nikolai Vasiliev ? » Logical Investigations 19 (9 avril 2013) : 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Texte intégralMcGinnis, Casey. « Tableau Systems for Some Paraconsistent Modal Logics ». Electronic Notes in Theoretical Computer Science 143 (janvier 2006) : 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Texte intégralBéziau, Jean-Yves. « Many-valuedness from a universal logic perspective ». Logical Investigations 26, no 1 (6 août 2020) : 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Texte intégralCoscarelli, Bruno Costa. « Model Theory in a Paraconsistent Environment ». Bulletin of Symbolic Logic 27, no 2 (juin 2021) : 216. http://dx.doi.org/10.1017/bsl.2021.33.
Texte intégralCARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI et 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, no 3 (3 juin 2014) : 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Texte intégralKamide, Norihiro, et Daiki Koizumi. « Method for Combining Paraconsistency and Probability in Temporal Reasoning ». Journal of Advanced Computational Intelligence and Intelligent Informatics 20, no 5 (20 septembre 2016) : 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Texte intégralSchwind, Nicolas, Sébastien Konieczny et Ramón Pino Pérez. « On Paraconsistent Belief Revision in LP ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 5 (28 juin 2022) : 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Texte intégralBéziau, Jean-Yves. « Paraconsistent logic from a modal viewpoint ». Journal of Applied Logic 3, no 1 (mars 2005) : 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Texte intégralHuang, Shasha, Jing Hao et 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.
Texte intégralBAGAI, RAJIV, et RAJSHEKHAR SUNDERRAMAN. « COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES ». International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, no 02 (avril 1996) : 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Texte intégralEsser, Olivier. « A Strong Model of Paraconsistent Logic ». Notre Dame Journal of Formal Logic 44, no 3 (juillet 2003) : 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Texte intégralApostoli, Peter. « Modal Aggregation and the Theory of Paraconsistent Filters ». Mathematical Logic Quarterly 42, no 1 (1996) : 175–90. http://dx.doi.org/10.1002/malq.19960420115.
Texte intégralMendonça, Bruno R., et Walter A. Carnielli. « Fraïssé’s theorem for logics of formal inconsistency ». Logic Journal of the IGPL 28, no 5 (29 novembre 2018) : 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
Texte intégralJoã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 octobre 2020) : 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Texte intégralMartinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi et Jair Minoro Abe. « Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions ». AgriEngineering 6, no 2 (6 mai 2024) : 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Texte intégralShalack, Vladimir I. « On the origins of logical pluralism ». Philosophy Journal 15, no 4 (29 novembre 2022) : 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
Texte intégralGAO, TIANTIAN, PAUL FODOR et MICHAEL KIFER. « Paraconsistency and word puzzles ». Theory and Practice of Logic Programming 16, no 5-6 (septembre 2016) : 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Texte intégralKamide, Norihiro, et Yoni Zohar. « Modal extension of ideal paraconsistent four-valued logic and its subsystem ». Annals of Pure and Applied Logic 171, no 10 (décembre 2020) : 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Texte intégralIakovleva, Varvara. « Penalty Logic : Paraconsistency and Applications ». Логико-философские штудии, no 1 (15 septembre 2021) : 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Texte intégralLó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 septembre 2023) : 207–14. http://dx.doi.org/10.5209/clac.77136.
Texte intégralLÖWE, BENEDIKT, et SOURAV TARAFDER. « GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY ». Review of Symbolic Logic 8, no 1 (12 janvier 2015) : 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Texte intégralMéndez, José M., et Gemma Robles. « Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators ». Journal of Logic, Language and Information 25, no 2 (1 mars 2016) : 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Texte intégralDa 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, no 4 (15 février 2023) : 1934. http://dx.doi.org/10.3390/en16041934.
Texte intégralPriest, Graham. « Contradiction and the Instant of Change Revisited ». Vivarium 55, no 1-3 (14 juillet 2017) : 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Texte intégralSedlár, Igor, et Vít Punčochář. « From positive PDL to its non-classical extensions ». Logic Journal of the IGPL 27, no 4 (28 mai 2019) : 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Texte intégralChen, Donghuo, et Jinzhao Wu. « Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic ». Electronic Notes in Theoretical Computer Science 157, no 1 (mai 2006) : 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Texte intégralRusu, Andrei, et Elena Rusu. « On some classes of formulas in S5 which are pre-complete relative to existential expressibility ». Computer Science Journal of Moldova 31, no 3(93) (décembre 2023) : 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Texte intégralMario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior et Heraldo Silveira Barbuy. « Characterization and classification of numerical data patterns using Annotated Paraconsistent Logic and the effect of contradiction ». Research, Society and Development 10, no 13 (22 octobre 2021) : e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Texte intégralApostoli, Peter, et Bryson Brown. « A solution to the completeness problem for weakly aggregative modal logic ». Journal of Symbolic Logic 60, no 3 (septembre 1995) : 832–42. http://dx.doi.org/10.2307/2275759.
Texte intégralPuga, Leila Z., Newton C. A. Da Costa et Roberto J. Vernengo. « Lógicas normativas, moral y derecho ». Crítica (México D. F. En línea) 23, no 69 (13 décembre 1991) : 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Texte intégralDa 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, no 03 (2016) : 143–80. http://dx.doi.org/10.4236/jqis.2016.63012.
Texte intégralK., Veerasamy, et 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, no 4 (2 décembre 2023) : 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Texte intégralDos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano et 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, no 12 (29 décembre 2021) : 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Texte intégralZamberlan, Miguel Fabrício, et 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, no 6 (1 juin 2020) : 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Texte intégralMruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin et Vasilyi Shangin. « On Paracomplete Versions of Jaśkowski's Discussive Logic ». Bulletin of the Section of Logic, 4 janvier 2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
Texte intégralCARNIELLI, WALTER, MARCELO E. CONIGLIO et DAVID FUENMAYOR. « LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT : AN ALGEBRAIC AND MODAL ACCOUNT ». Review of Symbolic Logic, 2 juillet 2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Texte intégralRamos, Jaime, João Rasga et Cristina Sernadas. « Labelled proof systems for existential reasoning ». Logic Journal of the IGPL, 30 janvier 2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Texte intégralDegauquier, Vincent. « Useful Four-Valued Extension of the Temporal Logic KtT4 ». Bulletin of the Section of Logic 47, no 1 (30 mars 2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Texte intégralBílková, Marta, Sabine Frittella et Daniil Kozhemiachenko. « Fuzzy bi-Gödel modal logic and its paraconsistent relatives ». Journal of Logic and Computation, 31 mars 2024. http://dx.doi.org/10.1093/logcom/exae011.
Texte intégralGouveia, Paula, João Rasga et Cristina Sernadas. « Meet-Combination of Consequence Systems ». Logic and Logical Philosophy, 29 mai 2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Texte intégralSkura, Tomasz. « Refutations and Proofs in the Paraconsistent Modal Logics : KN4 and KN4.D ». Studia Logica, 25 avril 2024. http://dx.doi.org/10.1007/s11225-024-10102-8.
Texte intégralFigallo-Orellano, Aldo, Miguel Peréz-Gaspar et Juan Manuel Ramírez-Contreras. « Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras ». Studia Logica, 28 mai 2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Texte intégralMishra, Meha, et A. V. Ravishankar Sarma. « Tolerating Inconsistencies : A Study of Logic of Moral Conflicts ». Bulletin of the Section of Logic, 7 juin 2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
Texte intégralCONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA et MARTÍN FIGALLO. « SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ». Review of Symbolic Logic, 9 décembre 2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.
Texte intégral