Zeitschriftenartikel zum Thema „Paraconsistent modal logics“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Paraconsistent modal logics" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Rivieccio, Umberto. „Paraconsistent Modal Logics“. Electronic Notes in Theoretical Computer Science 278 (November 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Der volle Inhalt der QuelleAvron, Arnon, und Anna Zamansky. „Paraconsistency, self-extensionality, modality“. Logic Journal of the IGPL 28, Nr. 5 (27.11.2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Der volle Inhalt der QuelleROBLES, GEMMA, und JOSÉ M. MÉNDEZ. „PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4“. Review of Symbolic Logic 3, Nr. 3 (23.07.2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Der volle Inhalt der QuelleOliveira, Kleidson Êglicio Carvalho da Silva. „Paraconsistent Logic Programming in Three and Four-Valued Logics“. Bulletin of Symbolic Logic 28, Nr. 2 (Juni 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Der volle Inhalt der QuelleOdintsov, Sergei P., und Heinrich Wansing. „Disentangling FDE-Based Paraconsistent Modal Logics“. Studia Logica 105, Nr. 6 (23.09.2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Der volle Inhalt der QuelleКарниэлли, У. „Formal polynomials, heuristics and proofs in logic“. Logical Investigations 16 (07.04.2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Der volle Inhalt der QuelleМаркин, В. И. „What trends in non-classical logic were anticipated by Nikolai Vasiliev?“ Logical Investigations 19 (09.04.2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Der volle Inhalt der QuelleMcGinnis, Casey. „Tableau Systems for Some Paraconsistent Modal Logics“. Electronic Notes in Theoretical Computer Science 143 (Januar 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Der volle Inhalt der QuelleBéziau, Jean-Yves. „Many-valuedness from a universal logic perspective“. Logical Investigations 26, Nr. 1 (06.08.2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Der volle Inhalt der QuelleCoscarelli, Bruno Costa. „Model Theory in a Paraconsistent Environment“. Bulletin of Symbolic Logic 27, Nr. 2 (Juni 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Der volle Inhalt der QuelleCARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI und 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, Nr. 3 (03.06.2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Der volle Inhalt der QuelleKamide, Norihiro, und Daiki Koizumi. „Method for Combining Paraconsistency and Probability in Temporal Reasoning“. Journal of Advanced Computational Intelligence and Intelligent Informatics 20, Nr. 5 (20.09.2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Der volle Inhalt der QuelleSchwind, Nicolas, Sébastien Konieczny und Ramón Pino Pérez. „On Paraconsistent Belief Revision in LP“. Proceedings of the AAAI Conference on Artificial Intelligence 36, Nr. 5 (28.06.2022): 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Der volle Inhalt der QuelleBéziau, Jean-Yves. „Paraconsistent logic from a modal viewpoint“. Journal of Applied Logic 3, Nr. 1 (März 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Der volle Inhalt der QuelleHuang, Shasha, Jing Hao und 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.
Der volle Inhalt der QuelleBAGAI, RAJIV, und RAJSHEKHAR SUNDERRAMAN. „COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES“. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, Nr. 02 (April 1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Der volle Inhalt der QuelleEsser, Olivier. „A Strong Model of Paraconsistent Logic“. Notre Dame Journal of Formal Logic 44, Nr. 3 (Juli 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Der volle Inhalt der QuelleApostoli, Peter. „Modal Aggregation and the Theory of Paraconsistent Filters“. Mathematical Logic Quarterly 42, Nr. 1 (1996): 175–90. http://dx.doi.org/10.1002/malq.19960420115.
Der volle Inhalt der QuelleMendonça, Bruno R., und Walter A. Carnielli. „Fraïssé’s theorem for logics of formal inconsistency“. Logic Journal of the IGPL 28, Nr. 5 (29.11.2018): 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
Der volle Inhalt der QuelleJoã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.10.2020): 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Der volle Inhalt der QuelleMartinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi und Jair Minoro Abe. „Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions“. AgriEngineering 6, Nr. 2 (06.05.2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Der volle Inhalt der QuelleShalack, Vladimir I. „On the origins of logical pluralism“. Philosophy Journal 15, Nr. 4 (29.11.2022): 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
Der volle Inhalt der QuelleGAO, TIANTIAN, PAUL FODOR und MICHAEL KIFER. „Paraconsistency and word puzzles“. Theory and Practice of Logic Programming 16, Nr. 5-6 (September 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Der volle Inhalt der QuelleKamide, Norihiro, und Yoni Zohar. „Modal extension of ideal paraconsistent four-valued logic and its subsystem“. Annals of Pure and Applied Logic 171, Nr. 10 (Dezember 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Der volle Inhalt der QuelleIakovleva, Varvara. „Penalty Logic: Paraconsistency and Applications“. Логико-философские штудии, Nr. 1 (15.09.2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Der volle Inhalt der QuelleLó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.09.2023): 207–14. http://dx.doi.org/10.5209/clac.77136.
Der volle Inhalt der QuelleLÖWE, BENEDIKT, und SOURAV TARAFDER. „GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY“. Review of Symbolic Logic 8, Nr. 1 (12.01.2015): 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Der volle Inhalt der QuelleMéndez, José M., und Gemma Robles. „Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators“. Journal of Logic, Language and Information 25, Nr. 2 (01.03.2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Der volle Inhalt der QuelleDa 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, Nr. 4 (15.02.2023): 1934. http://dx.doi.org/10.3390/en16041934.
Der volle Inhalt der QuellePriest, Graham. „Contradiction and the Instant of Change Revisited“. Vivarium 55, Nr. 1-3 (14.07.2017): 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Der volle Inhalt der QuelleSedlár, Igor, und Vít Punčochář. „From positive PDL to its non-classical extensions“. Logic Journal of the IGPL 27, Nr. 4 (28.05.2019): 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Der volle Inhalt der QuelleChen, Donghuo, und Jinzhao Wu. „Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic“. Electronic Notes in Theoretical Computer Science 157, Nr. 1 (Mai 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Der volle Inhalt der QuelleRusu, Andrei, und Elena Rusu. „On some classes of formulas in S5 which are pre-complete relative to existential expressibility“. Computer Science Journal of Moldova 31, Nr. 3(93) (Dezember 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Der volle Inhalt der QuelleMario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior und Heraldo Silveira Barbuy. „Characterization and classification of numerical data patterns using Annotated Paraconsistent Logic and the effect of contradiction“. Research, Society and Development 10, Nr. 13 (22.10.2021): e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Der volle Inhalt der QuelleApostoli, Peter, und Bryson Brown. „A solution to the completeness problem for weakly aggregative modal logic“. Journal of Symbolic Logic 60, Nr. 3 (September 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Der volle Inhalt der QuellePuga, Leila Z., Newton C. A. Da Costa und Roberto J. Vernengo. „Lógicas normativas, moral y derecho“. Crítica (México D. F. En línea) 23, Nr. 69 (13.12.1991): 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Der volle Inhalt der QuelleDa 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, Nr. 03 (2016): 143–80. http://dx.doi.org/10.4236/jqis.2016.63012.
Der volle Inhalt der QuelleK., Veerasamy, und 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, Nr. 4 (02.12.2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Der volle Inhalt der QuelleDos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano und 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, Nr. 12 (29.12.2021): 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Der volle Inhalt der QuelleZamberlan, Miguel Fabrício, und 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, Nr. 6 (01.06.2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Der volle Inhalt der QuelleMruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin und Vasilyi Shangin. „On Paracomplete Versions of Jaśkowski's Discussive Logic“. Bulletin of the Section of Logic, 04.01.2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
Der volle Inhalt der QuelleCARNIELLI, WALTER, MARCELO E. CONIGLIO und DAVID FUENMAYOR. „LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT“. Review of Symbolic Logic, 02.07.2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Der volle Inhalt der QuelleRamos, Jaime, João Rasga und Cristina Sernadas. „Labelled proof systems for existential reasoning“. Logic Journal of the IGPL, 30.01.2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Der volle Inhalt der QuelleDegauquier, Vincent. „Useful Four-Valued Extension of the Temporal Logic KtT4“. Bulletin of the Section of Logic 47, Nr. 1 (30.03.2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Der volle Inhalt der QuelleBílková, Marta, Sabine Frittella und Daniil Kozhemiachenko. „Fuzzy bi-Gödel modal logic and its paraconsistent relatives“. Journal of Logic and Computation, 31.03.2024. http://dx.doi.org/10.1093/logcom/exae011.
Der volle Inhalt der QuelleGouveia, Paula, João Rasga und Cristina Sernadas. „Meet-Combination of Consequence Systems“. Logic and Logical Philosophy, 29.05.2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Der volle Inhalt der QuelleSkura, Tomasz. „Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D“. Studia Logica, 25.04.2024. http://dx.doi.org/10.1007/s11225-024-10102-8.
Der volle Inhalt der QuelleFigallo-Orellano, Aldo, Miguel Peréz-Gaspar und Juan Manuel Ramírez-Contreras. „Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras“. Studia Logica, 28.05.2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Der volle Inhalt der QuelleMishra, Meha, und A. V. Ravishankar Sarma. „Tolerating Inconsistencies: A Study of Logic of Moral Conflicts“. Bulletin of the Section of Logic, 07.06.2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
Der volle Inhalt der QuelleCONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA und MARTÍN FIGALLO. „SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE“. Review of Symbolic Logic, 09.12.2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.
Der volle Inhalt der Quelle