Gotowa bibliografia na temat „Paraconsistent modal logics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł 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.
Artykuły w czasopismach na temat "Paraconsistent modal logics"
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łaRozprawy doktorskie na temat "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.
Pełny tekst źródłaThis 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.
Pełny tekst źródłaThe 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.
Pełny tekst źródłaCoordenaçã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.
Książki na temat "Paraconsistent modal logics"
Burgess, John P. Logic and Philosophical Methodology. Redaktorzy Herman Cappelen, Tamar Szabó Gendler i John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.30.
Pełny tekst źródłaCzęści książek na temat "Paraconsistent modal logics"
Kudo, Yasuo, Tetsuya Murai i Seiki Akama. "A Review on Rough Sets and Possible World Semantics for Modal Logics". W Towards Paraconsistent Engineering, 165–77. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40418-9_8.
Pełny tekst źródłaIndrzejczak, Andrzej, i Yaroslav Petrukhin. "A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus". W Automated Deduction – CADE 29, 325–43. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_19.
Pełny tekst źródłaBesnard, Philippe, i Paul Wong. "Modal (Logic) Paraconsistency". W 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.
Pełny tekst źródłaBílková, Marta, Sabine Frittella i Daniil Kozhemiachenko. "Paraconsistent Gödel Modal Logic". W Automated Reasoning, 429–48. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Pełny tekst źródłaNasieniewski, Marek, i Andrzej Pietruszczak. "On Modal Logics Defining Jaśkowski’s D2-Consequence". W Paraconsistency: Logic and Applications, 141–61. Dordrecht: Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-4438-7_9.
Pełny tekst źródłaDamásio, Carlos Viegas, i Luís Moniz Pereira. "A model theory for paraconsistent logic programming". W Progress in Artificial Intelligence, 377–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60428-6_32.
Pełny tekst źródłaSedlár, Igor, i Ondrej Majer. "Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic". W 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.
Pełny tekst źródłaJayakumar, Badrinath, i Rajshekhar Sunderraman. "Description Logic Programs: A Paraconsistent Relational Model Approach". W Lecture Notes in Computer Science, 139–57. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27060-9_12.
Pełny tekst źródłaBaşkent, Can. "Public Announcements and Inconsistencies: For a Paraconsistent Topological Model". W 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.
Pełny tekst źródłaTarafder, Sourav. "Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory". W Logic and Its Applications, 195–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-45824-2_14.
Pełny tekst źródłaStreszczenia konferencji na temat "Paraconsistent modal logics"
Kamide, Norihiro, i Yoni Zohar. "Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic". W 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2019. http://dx.doi.org/10.1109/ismvl.2019.00029.
Pełny tekst źródłaYan, Fei, Huanguo Zhang, Lina Wang i Min Yang. "An improved intrusion detection model based on paraconsistent logic". W Asia-Pacific Optical Communications, redaktorzy S. J. Ben Yoo, Gee-Kung Chang, Guangcheng Li i Kwok-wai Cheung. SPIE, 2005. http://dx.doi.org/10.1117/12.574963.
Pełny tekst źródłaKirilo, Caique Z., Jair M. Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano i Luiz A. de Lima. "Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic". W 2018 Innovations in Intelligent Systems and Applications (INISTA). IEEE, 2018. http://dx.doi.org/10.1109/inista.2018.8466287.
Pełny tekst źródłaPena, Eduardo H. M., Sylvio Barbon, Joel J. P. C. Rodrigues i Mario Lemes Proenca. "Anomaly detection using digital signature of network segment with adaptive ARIMA model and Paraconsistent Logic". W 2014 IEEE Symposium on Computers and Communication (ISCC). IEEE, 2014. http://dx.doi.org/10.1109/iscc.2014.6912503.
Pełny tekst źródłaPorubay, Oksana. "MAKING MANAGEMENT DECISIONS OF THE ELECTRIC POWER SYSTEM USING THE PARACONSISTENCY LOGICAL MODEL OF THE EXPERT SYSTEM (PESPAL2V)". W CAD/EDA/SIMULATION IN MODERN ELECTRONICS 2021. Bryansk State Technical University, 2021. http://dx.doi.org/10.30987/conferencearticle_61c997ef1fd468.69147282.
Pełny tekst źródła