Littérature scientifique 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 listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques 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.
Articles de revues sur le sujet "Paraconsistent modal logics"
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égralThèses sur le sujet "Paraconsistent modal logics"
KOZHEMIACHENKO, Daniil. « Paraconsistent and fuzzy modal logics for reasoning about uncertainty ». Electronic Thesis or Diss., Bourges, INSA Centre Val de Loire, 2023. http://www.theses.fr/2023ISAB0014.
Texte intégralThis dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent) reasoning about uncertainty. The understanding of ‘uncertain information (data)’ here includes any combination of the following three characteristics. First, the information can be graded, i.e., the statement is equipped with a truth degree rather than a truth value. Second, the information can be incomplete. Third, the information can be contradictory.All the logics in question can be divided into two kinds. First, the more ‘traditional’ modal logics defined on [0,1]-valued Kripke models (possibly, with fuzzy accessibility relations) whose language includes modal operators interpreted as infima and suprema of values in the accessible states.The second kind of logics contains so-called ‘two-layered’ logics. In this framework, the language is divided into three parts: the inner layer, the outer layer, and the non-nesting modality. The idea is to use the inner-layer language to describe events, interpret the modality as a measure on the set of events (e.g., as a probability function, belief function, plausibility, etc.) corresponding to the degree of the agent's (un)certainty in a given event, and then reason about this (un)certainty in the outer-layer language. A frame in a two-layered logic is, thus, a set with a measure defined thereon.These two kinds of logics correspond to two ways of interpreting uncertainty. In the less formal one, we will be using the logics with the Kripke-frame semantics. In the more formal case where the degree of one's certainty or belief is assumed to behave as a concrete uncertainty measure, we will use the two-layered logics
Costa, Diana Filipa de Pinho. « Paraconsistency in hybrid logic ». Master's thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/13305.
Texte intégralThe use of hybrid logics allows the description of relational structures, at the same time that allows establishing accessibility relations between states and, furthermore, nominating and making mention to what happens at speci c states. However, the information we collect is subject to inconsistencies, namely, the search for di erent information sources can lead us to pick up contradictions. Nowadays, by having so many means of dissemination available, that happens frequently. The aim of this work is to develop tools capable of dealing with contradictory information that can be described as hybrid logics' formulas. To build models, to compare inconsistency in di erent databases, and to see the applicability of this method in day-to-day life are the basis for the development of this dissertation.
O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre estados, e, para além disso, nomear e fazer referência ao que acontece em estados específicos. No entanto, a informação que recolhemos está sujeita a inconsistências, isto é, a procura de diferentes fontes de informação pode levar a recolha de contradições. O que nos dias de hoje, com tantos meios de divulgação disponíveis, acontece frequentemente. O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas híbridas. Construir modelos e comparar a inconsistência de diferentes bases de dados e ver a aplicabilidade deste método no dia-a-dia são a base para o desenvolvimento desta dissertação.
Teles, Eugênia Ribeiro. « Uma Abordagem paraconsistente para o problema da consistência nos dilemas morais ». Universidade Federal da Paraíba, 2013. http://tede.biblioteca.ufpb.br:8080/handle/tede/5619.
Texte intégralCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
This work deals with the question of logical consistency inside the context of moral dilemmas or, more specifically, genuine moral dilemmas, which are situations where someone has a conflict between two obligatory actions guided by the same moral principle. In other words, it is a situation where there are two moral obligations which should be satisfied, but since they are incompatible, while sometimes one is the negation of the other, they cannot be both accomplished. When we formalize moral dilemmas along with some deontic principles, the result is a contradiction. Inside the framework of classical deontic logic, due to its limitation of dealing with paradoxes of such kind, the existence of moral dilemmas is taken as something absurd, as an affront to rationality. Thus, given the inconsistency, the solution would be to deny the existence of the dilemmas, which has been the most widespread solution, or to deny the deontic principles involved in the inconsistency. We do not agree with these two solutions. Instead, we propose to weaken the rationalist argumentation based on the existence of dialetheias and on the suggestion of dealing with moral dilemmas inside a paraconsistent framework, in such a way that the existence of inconsistence would not be a reason any more to deny the existence of such dilemmas.
RESUMOO presente trabalho aborda a questão da consistência lógica dentro do contexto dos dilemas morais; mais especificamente dilemas morais genuínos, que são situações nas quais uma pessoa tem o conflito entre duas ações obrigatórias guiadas pelo mesmo princípio. Ou seja, existem duas obrigações que deveriam ser satisfeitas, mas por se tratarem de ações incompatíveis, em que uma é a negação da outra, não podem ambas ser praticadas. Quando se faz a formalização do dilema moral conjuntamente com alguns princípios deônticos o resultado é uma contradição. Dentro do framework da Lógica Deôntica clássica, por causa de sua limitação em tratar com paradoxos devido a alguns princípios clássicos, a existência dos dilemas morais é tida como algo absurdo ou uma afronta à racionalidade. Assim, dada à inconsistência, a solução seria negar a existência dos dilemas ou negar os princípios deônticos envolvidos na inconsistência. A solução mais propagada foi a negação da existência dos dilemas. Entretanto, discordando dessa solução, tentamos enfraquecer a argumentação racionalista com base na ideia de dialetéias e consequentemente sugerindo que, se os dilemas morais forem tratados em um framework paraconsistente a inconsistência não seria motivo suficiente para negar a existência desses dilemas.
Livres sur le sujet "Paraconsistent modal logics"
Burgess, John P. Logic and Philosophical Methodology. Sous la direction de Herman Cappelen, Tamar Szabó Gendler et John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.30.
Texte intégralChapitres de livres sur le sujet "Paraconsistent modal logics"
Kudo, Yasuo, Tetsuya Murai et Seiki Akama. « A Review on Rough Sets and Possible World Semantics for Modal Logics ». Dans Towards Paraconsistent Engineering, 165–77. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40418-9_8.
Texte intégralIndrzejczak, Andrzej, et Yaroslav Petrukhin. « A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus ». Dans Automated Deduction – CADE 29, 325–43. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_19.
Texte intégralBesnard, Philippe, et Paul Wong. « Modal (Logic) Paraconsistency ». Dans Lecture Notes in Computer Science, 540–51. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45062-7_44.
Texte intégralBílková, Marta, Sabine Frittella et Daniil Kozhemiachenko. « Paraconsistent Gödel Modal Logic ». Dans Automated Reasoning, 429–48. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Texte intégralNasieniewski, Marek, et Andrzej Pietruszczak. « On Modal Logics Defining Jaśkowski’s D2-Consequence ». Dans Paraconsistency : Logic and Applications, 141–61. Dordrecht : Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-4438-7_9.
Texte intégralDamásio, Carlos Viegas, et Luís Moniz Pereira. « A model theory for paraconsistent logic programming ». Dans Progress in Artificial Intelligence, 377–86. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60428-6_32.
Texte intégralSedlár, Igor, et Ondrej Majer. « Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ». Dans New Essays on Belnap-Dunn Logic, 293–310. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31136-0_17.
Texte intégralJayakumar, Badrinath, et Rajshekhar Sunderraman. « Description Logic Programs : A Paraconsistent Relational Model Approach ». Dans Lecture Notes in Computer Science, 139–57. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27060-9_12.
Texte intégralBaşkent, Can. « Public Announcements and Inconsistencies : For a Paraconsistent Topological Model ». Dans Logic, Epistemology, and the Unity of Science, 251–68. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-26506-3_9.
Texte intégralTarafder, Sourav. « Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory ». Dans Logic and Its Applications, 195–206. Berlin, Heidelberg : Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-45824-2_14.
Texte intégralActes de conférences sur le sujet "Paraconsistent modal logics"
Kamide, Norihiro, et Yoni Zohar. « Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic ». Dans 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2019. http://dx.doi.org/10.1109/ismvl.2019.00029.
Texte intégralYan, Fei, Huanguo Zhang, Lina Wang et Min Yang. « An improved intrusion detection model based on paraconsistent logic ». Dans Asia-Pacific Optical Communications, sous la direction de S. J. Ben Yoo, Gee-Kung Chang, Guangcheng Li et Kwok-wai Cheung. SPIE, 2005. http://dx.doi.org/10.1117/12.574963.
Texte intégralKirilo, Caique Z., Jair M. Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano et Luiz A. de Lima. « Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic ». Dans 2018 Innovations in Intelligent Systems and Applications (INISTA). IEEE, 2018. http://dx.doi.org/10.1109/inista.2018.8466287.
Texte intégralPena, Eduardo H. M., Sylvio Barbon, Joel J. P. C. Rodrigues et Mario Lemes Proenca. « Anomaly detection using digital signature of network segment with adaptive ARIMA model and Paraconsistent Logic ». Dans 2014 IEEE Symposium on Computers and Communication (ISCC). IEEE, 2014. http://dx.doi.org/10.1109/iscc.2014.6912503.
Texte intégralPorubay, Oksana. « MAKING MANAGEMENT DECISIONS OF THE ELECTRIC POWER SYSTEM USING THE PARACONSISTENCY LOGICAL MODEL OF THE EXPERT SYSTEM (PESPAL2V) ». Dans CAD/EDA/SIMULATION IN MODERN ELECTRONICS 2021. Bryansk State Technical University, 2021. http://dx.doi.org/10.30987/conferencearticle_61c997ef1fd468.69147282.
Texte intégral