. Actually, ?ukasiewicz proposed this idea for the study of contingent futures: it is possible that the battle will be won and it is possible that the battle will be lost

D. Banerjee, possibilistic logic (Dubois & Prade, 2004) cannot encode such rules as they appear in Table 7. Indeed, viewed in the scope of MEL, possibilistic logic uses graded ? modalities (weights that express the strength of belief), but such formulas can only be combined by conjunctions. Translations of rules such as ?a ? ?b, ?a ? ?b, ?a ? ?b, ?a ? ?b can be captured in generalised possibilistic logic, 2009.

A. Avron, Natural 3-valued logics???characterization and proof theory, The Journal of Symbolic Logic, vol.31, issue.01, pp.276-294, 1991.
DOI : 10.1016/0304-3975(87)90045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.9332

M. Banerjee and D. Dubois, A Simple Modal Logic for Reasoning about Revealed Beliefs, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, pp.805-816, 2009.
DOI : 10.1007/s11229-006-9079-z

M. Banerjee and D. Dubois, A simple logic for reasoning about incomplete information, Int. J. Approximate Reasoning, 2013.

M. Banerjee, D. Dubois, H. Prade, and S. Schockaert, La logique possibiliste généralisée [Generalized possibilistic logic] 22 Rencontres Francophones sur la Logique Floue et ses Applications, LFA, vol.2013, pp.10-11, 2013.

N. D. Belnap, A Useful Four-Valued Logic, Modern uses of multiple-valued logic, pp.8-37, 1977.
DOI : 10.1007/978-94-010-1161-7_2

J. Béziau, A new four-valued approach to modal logic, Logique et Analyse, vol.54, pp.109-121, 2011.

D. A. Bochvar, On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus, History and Philosophy of Logic, vol.2, issue.1-2, pp.87-112, 1981.
DOI : 10.1080/01445348108837023

L. Borowski, Selected works of J. ?ukasiewicz, 1970.

P. Burmeister and R. Holzer, Treating Incomplete Knowledge in Formal Concept Analysis, Formal concept analysis: Foundations and applications, pp.114-126, 2005.
DOI : 10.1007/11528784_6

B. F. Chellas, Modal logic: An introduction, 1980.
DOI : 10.1017/CBO9780511621192

R. Cignoli, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis, vol.34, issue.3, pp.262-292, 1986.
DOI : 10.1007/BF01230621

D. Ciucci and D. Dubois, Three-Valued Logics for Incomplete Information and Epistemic Logic, Logics in Artificial Intelligence ? 13th European Conference, pp.147-159, 2012.
DOI : 10.1007/BF02121118

D. Ciucci and D. Dubois, From paraconsistent three-valued logics to multiple-source epistemic logic, Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, pp.780-787, 2013.
DOI : 10.2991/eusflat.2013.116
URL : https://hal.archives-ouvertes.fr/hal-01212932

D. Ciucci and D. Dubois, A map of dependencies among three-valued logics, Information Sciences, vol.250, pp.162-177, 2013.
DOI : 10.1016/j.ins.2013.06.040
URL : https://hal.archives-ouvertes.fr/hal-01122868

E. F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems, vol.4, issue.4, pp.397-434, 1979.
DOI : 10.1145/320107.320109

N. C. Da-costa and E. H. Alves, Relations between paraconsistent logics and many-valued logic. Bulletin of the Section of Logic of the Polish Academy of Sciences, pp.185-191, 1981.

S. Demri, A simple modal encoding of propositional finite many-valued logics. Multiple- Valued Logic, pp.443-461, 2000.

D. Dubois, On Ignorance and Contradiction Considered as Truth-Values, Logic Journal of IGPL, vol.16, issue.2, pp.195-216, 2008.
DOI : 10.1093/jigpal/jzn003

D. Dubois, Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, Soft Computing, vol.18, issue.6, pp.1817-1831, 2012.
DOI : 10.1007/s00500-012-0833-5

D. Dubois, P. Hajek, and H. Prade, Knowledge-driven versus data-driven logics, Journal of Logic, Language and Information, vol.9, issue.1, pp.65-89, 2000.
DOI : 10.1023/A:1008370109997

D. Dubois and H. Prade, Conditional objects as nonmonotonic consequence relationships, IEEE Transactions on Systems, Man, and Cybernetics, vol.24, issue.12, pp.1724-1740, 1994.
DOI : 10.1109/21.328930

D. Dubois and H. Prade, Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification, Annals of Mathematics and Artificial Intelligence, vol.32, pp.35-66, 2001.
DOI : 10.1007/3-540-45493-4_26

D. Dubois and H. Prade, Possibilistic logic: A retrospective and prospective view. Fuzzy Sets and Systems, pp.3-23, 2004.

D. Dubois and H. Prade, An introduction to bipolar representations of information and preference, International Journal of Intelligent Systems, vol.7, issue.1, pp.866-877, 2008.
DOI : 10.1002/int.20297

D. Dubois and H. Prade, Generalized Possibilistic Logic, Scalable Uncertainty Management, 5th International Conference, SUM 2011, pp.428-432, 2011.
DOI : 10.1007/978-3-642-23963-2_33
URL : https://hal.archives-ouvertes.fr/hal-01287713

D. Dubois, H. Prade, and S. Schockaert, Règles et métarègles en théorie des possibilités: De la logique possibiliste à la programmation par ensembles-réponses [Rules and metarules in possibility theory: from possibilistic logic to answer-set programming], pp.63-83, 2012.

D. Dubois, H. Prade, and S. Schockaert, Stable models in generalized possibilistic logic, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, pp.519-529, 2012.

M. J. Duffy, Modal interpretations of three-valued logics. I., Notre Dame Journal of Formal Logic, vol.20, issue.3, pp.647-673, 1979.
DOI : 10.1305/ndjfl/1093882675

S. Elaydi, An introduction to difference equations, 1995.

L. Fariñas-del-cerro and A. Herzig, Contingency-Based Equilibrium Logic, Logic Programming and Nonmonotonic Reasoning, 11th International Conference, pp.223-228, 2011.
DOI : 10.1007/978-3-642-20895-9_23

M. Fitting, A kripke-kleene semantics for logic programs*, The Journal of Logic Programming, vol.2, issue.4, pp.295-312, 1985.
DOI : 10.1016/S0743-1066(85)80005-4

J. M. Font and P. Hájek, On ?ukasiewicz's four-valued modal logic, Studia Logica, vol.70, issue.2, pp.157-182, 2002.
DOI : 10.1023/A:1015111314455

J. Fox, Motivation and demotivation of a four-valued logic., Notre Dame Journal of Formal Logic, vol.31, issue.1, pp.76-80, 1990.
DOI : 10.1305/ndjfl/1093635334

B. R. Gaines, Foundations of fuzzy reasoning, International Journal of Man-Machine Studies, vol.8, issue.6, pp.623-668, 1976.
DOI : 10.1016/S0020-7373(76)80027-2

K. Gödel, Zum intuitionistischen aussagenkalkül [Intuitionistic propositional logic], Anzeiger Akademie der Wissenschaften Wien, vol.69, pp.65-66, 1932.

K. Gödel, Eine interpretation des intuitionistischen aussagenskalküls [An interpretation of intuitionistic propositional logic], Ergebnisse eines mathematischen Kolloquiums, pp.39-40, 1933.

S. Gottwald, A treatise on many-valued logics, 2001.

J. Grant, Incomplete information in a relational database, Fundamenta Informaticae, vol.3, pp.363-378, 1980.

P. Hájek, Metamathematics of fuzzy logic, 1998.
DOI : 10.1007/978-94-011-5300-3

A. Heyting, Die formalen regeln der intuitionistischen logik [The formal rules of intuitionistic logic, Sitzungsberichte der preuischen Akademie der Wissenschaften. Physikalischmathematische klasseProceedings of the Prussian Academy of Sciences. Physics and mathematics class, pp.42-56, 1930.

T. Hosoi, The axiomatization of the intermediate propositional systems $S_2$ of Gödel, Journal of the College of Science, vol.13, pp.183-187, 1996.

S. Ja´skowskija´skowski, Propositional calculus for contradictory deductive systems, Studia Logica, vol.40, issue.nr 2, pp.143-160, 1969.
DOI : 10.1007/BF02134311

S. C. Kleene, Introduction to metamathematics, 1952.

E. P. Klement, R. Mesiar, and E. Pap, Triangular norms, 2000.
DOI : 10.1007/978-94-015-9540-7

B. P. Kooi and A. M. Tamminga, Three-valued Logics in Modal Logic, Studia Logica, vol.29, issue.5, pp.1061-1072, 2013.
DOI : 10.1007/s11225-012-9420-0

J. Mckinsey and A. Tarski, Some theorems about the sentential calculi of Lewis and Heyting, The Journal of Symbolic Logic, vol.4, issue.01, pp.1-15, 1948.
DOI : 10.1090/S0002-9904-1934-05881-6

P. Minari, A note on ?ukasiewicz's three-valued logic, Annali del Dipartimento di Filosofia, pp.163-189, 2002.

D. Nelson, Constructible falsity, The Journal of Symbolic Logic, vol.3, issue.01, pp.16-26, 1949.
DOI : 10.1007/BF01565439

D. Pearce, Equilibrium logic, Annals of Mathematics and Artificial Intelligence, vol.85, issue.1???2, pp.3-41, 2006.
DOI : 10.1007/s10472-006-9028-z

G. Priest, The logic of paradox, Journal of Philosophical Logic, vol.8, issue.1, pp.219-241, 1979.
DOI : 10.1007/BF00258428

A. M. Sette, On propositional calculus P 1, Mathematica Japonica, vol.16, pp.173-180, 1973.

B. Soboci´nskisoboci´nski, Axiomatization of a partial system of three-value calculus of propositions, Journal of Computing Systems, vol.1, pp.23-55, 1952.

A. Urquhart, Many-valued Logic, Handbook of philosophical logic, pp.71-116, 1986.
DOI : 10.1007/978-94-009-5203-4_2

D. Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia Logica, vol.46, issue.1-2, pp.109-125, 1977.
DOI : 10.1007/BF02121118

M. Wajsberg, Aksjomatyzacja trówarto´sciowegotrówarto´sciowego rachunkuzda´nrachunkuzda´n [Axiomatization of the threevalued propositional calculus, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, pp.126-148, 1931.

L. A. Zadeh, Fuzzy logic and approximate reasoning, Synthese, vol.3, issue.3-4, pp.407-428, 1975.
DOI : 10.1007/BF00485052