Artykuły w czasopismach na temat „Paraconsistent modal logics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Paraconsistent modal logics”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Rivieccio, Umberto. "Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 278 (listopad 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Pełny tekst źródłaAvron, Arnon, i 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.
Pełny tekst źródłaROBLES, GEMMA, i 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.
Pełny tekst źródłaOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, nr 2 (czerwiec 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Pełny tekst źródłaOdintsov, Sergei P., i 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.
Pełny tekst źródłaКарниэлли, У. "Formal polynomials, heuristics and proofs in logic". Logical Investigations 16 (7.04.2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Pełny tekst źródłaМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (9.04.2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Pełny tekst źródłaMcGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 143 (styczeń 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Pełny tekst źródłaBéziau, Jean-Yves. "Many-valuedness from a universal logic perspective". Logical Investigations 26, nr 1 (6.08.2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Pełny tekst źródłaCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, nr 2 (czerwiec 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Pełny tekst źródłaCARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI i 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 (3.06.2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Pełny tekst źródłaKamide, Norihiro, i 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.
Pełny tekst źródłaSchwind, Nicolas, Sébastien Konieczny i 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.
Pełny tekst źródłaBéziau, Jean-Yves. "Paraconsistent logic from a modal viewpoint". Journal of Applied Logic 3, nr 1 (marzec 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Pełny tekst źródłaHuang, Shasha, Jing Hao i 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.
Pełny tekst źródłaBAGAI, RAJIV, i RAJSHEKHAR SUNDERRAMAN. "COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES". International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, nr 02 (kwiecień 1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Pełny tekst źródłaEsser, Olivier. "A Strong Model of Paraconsistent Logic". Notre Dame Journal of Formal Logic 44, nr 3 (lipiec 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Pełny tekst źródłaApostoli, 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.
Pełny tekst źródłaMendonça, Bruno R., i 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.
Pełny tekst źródłaJoã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.
Pełny tekst źródłaMartinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi i Jair Minoro Abe. "Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions". AgriEngineering 6, nr 2 (6.05.2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Pełny tekst źródłaShalack, 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.
Pełny tekst źródłaGAO, TIANTIAN, PAUL FODOR i MICHAEL KIFER. "Paraconsistency and word puzzles". Theory and Practice of Logic Programming 16, nr 5-6 (wrzesień 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Pełny tekst źródłaKamide, Norihiro, i Yoni Zohar. "Modal extension of ideal paraconsistent four-valued logic and its subsystem". Annals of Pure and Applied Logic 171, nr 10 (grudzień 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Pełny tekst źródłaIakovleva, Varvara. "Penalty Logic: Paraconsistency and Applications". Логико-философские штудии, nr 1 (15.09.2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
Pełny tekst źródłaLó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.
Pełny tekst źródłaLÖWE, BENEDIKT, i 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.
Pełny tekst źródłaMéndez, José M., i Gemma Robles. "Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators". Journal of Logic, Language and Information 25, nr 2 (1.03.2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Pełny tekst źródłaDa 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 i in. "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.
Pełny tekst źródłaPriest, 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.
Pełny tekst źródłaSedlár, Igor, i 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.
Pełny tekst źródłaChen, Donghuo, i Jinzhao Wu. "Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic". Electronic Notes in Theoretical Computer Science 157, nr 1 (maj 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Pełny tekst źródłaRusu, Andrei, i 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) (grudzień 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Pełny tekst źródłaMario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior i 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.
Pełny tekst źródłaApostoli, Peter, i Bryson Brown. "A solution to the completeness problem for weakly aggregative modal logic". Journal of Symbolic Logic 60, nr 3 (wrzesień 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Pełny tekst źródłaPuga, Leila Z., Newton C. A. Da Costa i 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.
Pełny tekst źródłaDa 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.
Pełny tekst źródłaK., Veerasamy, i 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 (2.12.2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Pełny tekst źródłaDos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano i 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.
Pełny tekst źródłaZamberlan, Miguel Fabrício, i 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 (1.06.2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Pełny tekst źródłaMruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin i Vasilyi Shangin. "On Paracomplete Versions of Jaśkowski's Discussive Logic". Bulletin of the Section of Logic, 4.01.2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
Pełny tekst źródłaCARNIELLI, WALTER, MARCELO E. CONIGLIO i DAVID FUENMAYOR. "LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT". Review of Symbolic Logic, 2.07.2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Pełny tekst źródłaRamos, Jaime, João Rasga i Cristina Sernadas. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL, 30.01.2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Pełny tekst źródłaDegauquier, 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.
Pełny tekst źródłaBílková, Marta, Sabine Frittella i 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.
Pełny tekst źródłaGouveia, Paula, João Rasga i 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.
Pełny tekst źródłaSkura, 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.
Pełny tekst źródłaFigallo-Orellano, Aldo, Miguel Peréz-Gaspar i 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.
Pełny tekst źródłaMishra, Meha, i A. V. Ravishankar Sarma. "Tolerating Inconsistencies: A Study of Logic of Moral Conflicts". Bulletin of the Section of Logic, 7.06.2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
Pełny tekst źródłaCONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA i MARTÍN FIGALLO. "SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE". Review of Symbolic Logic, 9.12.2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.
Pełny tekst źródła