Se connecter

Bibliographies thématiques / Three-valued logic

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Three-valued logic »

Auteur : Grafiati

Publié le 9 mars 2023

Mis à jour le 19 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

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 « Three-valued logic ».

À 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 "Three-valued logic"

1

Kooi, Barteld, and Allard Tamminga. "Three-valued Logics in Modal Logic." Studia Logica 101, no. 5 (2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.

Texte intégral

Résumé :

AbstractFrom the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emergence of a wide variety of non-classical logics and the understanding of the limitations presented by first-order classical logic, it became necessary to consider logic programming based on other types of reasoning in addition to classical reasoning. A type of reasoning that has been well stu

Styles APA, Harvard, Vancouver, ISO, etc.

3

Devyatkin, Leonid Yu. "On the three-valued expansions of Kleene's logic." Logical Investigations 29, no. 2 (2023): 59–88. http://dx.doi.org/10.21146/2074-1472-2023-29-2-59-88.

Texte intégral

Résumé :

The paper is devoted to one of the most famous three-valued systems – Kleene's logic. The expressive capabilities of Kleene's logic and its three-valued expansions are described. We present two results. First, all possible three-valued expansions of Kleene's logic are found up to equivalence with respect to the mutual definability of connectives. It is shown that there are only twelve such expansions. This list includes both logics already known in the literature and completely new ones. For the found expansions, we describe the structure of the lattice ordered relative to the expressive power

Styles APA, Harvard, Vancouver, ISO, etc.

4

Томова, Н. Е. "Natural three-valued logics and classical logic." Logical Investigations 19 (April 9, 2013): 344–52. http://dx.doi.org/10.21146/2074-1472-2013-19-0-344-352.

Texte intégral

Résumé :

In this paper implicative fragments of natural three- valued logic are investigated. It is proved that some fragments are equivalent by set of tautologies to implicative fragment of classical logic. It is also shown that some natural three-valued logics verify all tautologies of classical propositional logic.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Vauzeilles, J., and A. Strauss. "Intuitionistic three-valued logic and logic programming." RAIRO - Theoretical Informatics and Applications 25, no. 6 (1991): 557–87. http://dx.doi.org/10.1051/ita/1991250605571.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Giuntini, Roberto. "Three-valued Brouwer-zadeh logic." International Journal of Theoretical Physics 32, no. 10 (1993): 1875–87. http://dx.doi.org/10.1007/bf00979508.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Delahaye, J. P., and V. Thibau. "Programming in three-valued logic." Theoretical Computer Science 78, no. 1 (1991): 189–216. http://dx.doi.org/10.1016/0304-3975(51)90008-4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Тамминга, А. "Correspondence analysis for strong three-valued logic." Logical Investigations 20 (May 8, 2014): 253–66. http://dx.doi.org/10.21146/2074-1472-2014-20-0-253-266.

Texte intégral

Résumé :

I apply Kooi and Tamminga’s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these charac- terizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other thin

Styles APA, Harvard, Vancouver, ISO, etc.

9

Takagi, Tsubasa. "Translation from Three-Valued Quantum Logic to Modal Logic." International Journal of Theoretical Physics 60, no. 1 (2021): 366–77. http://dx.doi.org/10.1007/s10773-020-04701-z.

Texte intégral

Résumé :

AbstractWe translate the three-valued quantum logic into modal logic, and prove 3-equivalence between the valuation of the three-valued logic and a kind of Kripke model in regard to this translation. To prove 3-equivalence, we introduce an observable-dependent logic, which is a fragment of the many-valued quantum logic. Compared to the Birkhoff and von Neumann’s quantum logic, some notions about observables, the completeness relation for example, in quantum mechanics can be utilized if the observable-dependent logic is employed.

Styles APA, Harvard, Vancouver, ISO, etc.

10

Morikawa, Osamu. "Some modal logics based on a three-valued logic." Notre Dame Journal of Formal Logic 30, no. 1 (1988): 130–37. http://dx.doi.org/10.1305/ndjfl/1093635000.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Three-valued logic"

1

Jervis, Clive Andrew. "A theory of program correctness with three valued logic." Thesis, University of Leeds, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Dietz, Saldanha Emmanuelle-Anna. "From Logic Programming to Human Reasoning:." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-227412.

Texte intégral

Résumé :

Results of psychological experiments have shown that humans make assumptions, which are not necessarily valid, that they are influenced by their background knowledge and that they reason non-monotonically. These observations show that classical logic does not seem to be adequate for modeling human reasoning. Instead of assuming that humans do not reason logically at all, we take the view that humans do not reason classical logically. Our goal is to model episodes of human reasoning and for this purpose we investigate the so-called Weak Completion Semantics. The Weak Completion Semantics is a L

Styles APA, Harvard, Vancouver, ISO, etc.

3

MOLTENI, MARIA CHIARA. "ON THE SECURITY OF CRYPTOGRAPHIC CIRCUITS:PROTECTION AGAINST PROBING ATTACKS AND PERFORMANCE IMPROVEMENT OF GARBLED CIRCUITS." Doctoral thesis, Università degli Studi di Milano, 2022. http://hdl.handle.net/2434/920426.

Texte intégral

Résumé :

Dealing with secure computation and communication in hardware devices, an attacker that threatens to security of the systems can be of two different types. The first type of attacker is external to the exchange of secret messages and tries to steal some sensitive information. Probing a circuit is a useful technique through which an attacker can derive information correlated with the secret manipulated by a cryptographic circuit. Probing security is the branch of research that tries to devise models, tools and countermeasures against this type of attacks. We define a new methodology that al

Styles APA, Harvard, Vancouver, ISO, etc.

4

Loginov, Alexey A. "Refinement-based program verification via three-valued-logic analysis." 2006. http://www.library.wisc.edu/databases/connect/dissertations.html.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Three-valued logic"

1

Li, Wei, and Yuefei Sui. R-Calculus, III: Post Three-Valued Logic. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-4270-9.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

R-Calculus, III: Post Three-Valued Logic. Springer, 2023.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Li, Wei, and Yuefei Sui. R-Calculus, III: Post Three-Valued Logic. Springer, 2022.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Button, Tim, and Sean Walsh. Boolean-valued structures. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0013.

Texte intégral

Résumé :

Chapters 6-12 are driven by questions about the ability to pin down mathematical entities and to articulate mathematical concepts. This chapter is driven by similar questions about the ability to pin down the semantic frameworks of language. It transpires that there are not just non-standard models, but non-standard ways of doing model theory itself. In more detail: whilst we normally outline a two-valued semantics which makes sentences True or False in a model, the inference rules for first-order logic are compatible with a four-valued semantics; or a semantics with countably many values; or

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Three-valued logic"

1

Li, Wei, and Yuefei Sui. "Post Three-Valued Logic." In Perspectives in Formal Induction, Revision and Evolution. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-4270-9_4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Li, Wei, and Yuefei Sui. "Post Three-Valued Description Logic." In Perspectives in Formal Induction, Revision and Evolution. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-4270-9_6.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Hölldobler, Steffen, and Carroline Dewi Puspa Kencana Ramli. "Logic Programs under Three-Valued Łukasiewicz Semantics." In Logic Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_37.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Wang, Wen-Fang. "Three-Valued Plurivaluationism of Vague Predicates." In Logic, Rationality, and Interaction. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48561-3_31.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Schmitt, P. H. "Computational aspects of three-valued logic." In 8th International Conference on Automated Deduction. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16780-3_90.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Schmitt, P. H. "Deductive aspects of three-valued logic." In Text Understanding in LILOG. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54594-8_71.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Teusink, Frank. "Three-valued completion for abductive logic programs." In Algebraic and Logic Programming. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58431-5_12.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Ciucci, Davide, and Didier Dubois. "Three-Valued Logics for Incomplete Information and Epistemic Logic." In Logics in Artificial Intelligence. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33353-8_12.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

García-Honrado, Itziar. "Some Entertainments Dealing with Three Valued Logic." In Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48317-7_3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Li, Wei, and Yuefei Sui. "R-Calculi for Post Three-Valued Logic." In Perspectives in Formal Induction, Revision and Evolution. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-4270-9_5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Three-valued logic"

1

Sandeep, Peruri Sai, N. Srinivasa Rao, Shafiulla Basha, Shaik Javid Basha, Y. Mallikarjuna Rao, and Gali Sowmya. "Energy-Efficient Three-Valued Logic Encoder and Decoder Circuits with GNRFETs." In 2025 3rd International Conference on Data Science and Information System (ICDSIS). IEEE, 2025. https://doi.org/10.1109/icdsis65355.2025.11070691.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Charalambidis, Angelos, Giannos Chatziagapis, Babis Kostopoulos, and Panos Rondogiannis. "Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/23.

Texte intégral

Résumé :

We extend the well-known representation theorem for interlaced bilattices to the broader class of weak interlaced bilattices. Based on this new theorem, we develop a fixpoint theory for non-monotone functions over weak infinitarily interlaced bilattices. Our theory generalizes classical fixpoint constructions introduced by Fitting, as-well-as recent results in the area of approximation fixpoint theory. We argue that the proposed theory has direct practical applications: we develop the semantics of higher-order logic programming with negation under an arbitrary weak infinitarily interlaced bila

Styles APA, Harvard, Vancouver, ISO, etc.

3

Chan, Hsu, Brody, and Teh. "Neural three-valued-logic networks." In International Joint Conference on Neural Networks. IEEE, 1989. http://dx.doi.org/10.1109/ijcnn.1989.118381.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Nakayama, Yotaro, Seiki Akama, and Tetsuya Murai. "Rough Set Logic for Kleene's Three-valued Logic." In 2020 Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS-ISIS). IEEE, 2020. http://dx.doi.org/10.1109/scisisis50064.2020.9322701.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

You, Jia-Huai, and Li Yan Yuan. "Three-valued formalization of logic programming." In the ninth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1990. http://dx.doi.org/10.1145/298514.298559.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Guo, Jian, and Jungang Han. "Symbolic Model Checking for Three Valued Logic." In 2009 WRI International Conference on Communications and Mobile Computing (CMC). IEEE, 2009. http://dx.doi.org/10.1109/cmc.2009.333.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Ciucci, Davide, and Didier Dubois. "From paraconsistent three-valued logics to multiple-source epistemic logic." In The 8th conference of the European Society for Fuzzy Logic and Technology. Atlantis Press, 2013. http://dx.doi.org/10.2991/eusflat.2013.116.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Belardinelli, Francesco, and Vadim Malvone. "A Three-valued Approach to Strategic Abilities under Imperfect Information." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/10.

Texte intégral

Résumé :

A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (ATL) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LTL, then apply these to finding “failure” states, where the ATL specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure,

Styles APA, Harvard, Vancouver, ISO, etc.

9

Belardinelli, Francesco, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, and Aniello Murano. "Scalable Verification of Strategy Logic through Three-Valued Abstraction." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/6.

Texte intégral

Résumé :

The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle this issue but at the expense of expressiveness. In this paper, we propose a three-valued semantics for Strategy Logic upon which we define an abstraction method. We show that the latter semantics is an approximation of the classic two-valued one for Strategy Logic. Furthermore, we extend MCMAS, an open-source model checker for multi-agent specifications, to incorporate our abstraction method and present some promisi

Styles APA, Harvard, Vancouver, ISO, etc.

10

Ciucci, Davide, and Didier Dubois. "Truth-Functionality, Rough Sets and Three-Valued Logics." In 2010 40th IEEE International Symposium on Multiple-Valued Logic. IEEE, 2010. http://dx.doi.org/10.1109/ismvl.2010.26.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Three-valued logic"

1

Kozachenko, Nadiia. AGM cognitive actions as modal operators of three-valued logic: presentation. Ruhr-Universität Bochum, 2022. http://dx.doi.org/10.31812/123456789/6687.

Texte intégral

Résumé :

AGM is designed so that its principles can be applied to the development of belief dynamics models, regardless of the field of application. The main idea of this work is to see how we can to represent cognitive actions considered in AGM within a certain three-valued logic, and check what interesting properties can be discovered in this way. To do this, we will consider the basic concepts and principles of AGM. Then we interpret them in a logical schema. And then we see what information about them we can get in the resulting system.

Styles APA, Harvard, Vancouver, ISO, etc.

2

McKenna, Patrick, and Mark Evans. Emergency Relief and complex service delivery: Towards better outcomes. Queensland University of Technology, 2021. http://dx.doi.org/10.5204/rep.eprints.211133.

Texte intégral

Résumé :

Emergency Relief (ER) is a Department of Social Services (DSS) funded program, delivered by 197 community organisations (ER Providers) across Australia, to assist people facing a financial crisis with financial/material aid and referrals to other support programs. ER has been playing this important role in Australian communities since 1979. Without ER, more people living in Australia who experience a financial crisis might face further harm such as crippling debt or homelessness. The Emergency Relief National Coordination Group (NCG) was established in April 2020 at the start of the COVID-19 p

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!