The logic of relevance and necessity, 1975. ,
A calculus of antinomies., Notre Dame Journal of Formal Logic, vol.7, issue.1, pp.103-105, 1966. ,
DOI : 10.1305/ndjfl/1093958482
Logic of antinomies., Notre Dame Journal of Formal Logic, vol.16, issue.1, pp.17-44, 1975. ,
DOI : 10.1305/ndjfl/1093891610
On an implication connective of ${\rm RM}$., Notre Dame Journal of Formal Logic, vol.27, issue.2, pp.201-209, 1986. ,
DOI : 10.1305/ndjfl/1093636612
A Simple Modal Logic for Reasoning about Revealed Beliefs, Proc. ECSQARU, pp.805-816, 2009. ,
DOI : 10.1007/s11229-006-9079-z
A useful four-valued logic, Modern Uses of Multiple-Valued Logic, D. Reidel, pp.8-37, 1977. ,
Completeness proofs for the systems RM3 and BN4, Logique et Analyse, vol.25, pp.51-61, 1982. ,
Modal logic: an introduction, 1980. ,
DOI : 10.1017/CBO9780511621192
Relationships between connectives in three-valued logics Three-valued logics for incomplete information and epistemic logic, Proc. IPMU Conference Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA), pp.633-642, 2012. ,
Relations between paraconsistent logics and many-valued logic, Bull. Sec. Logic Polish Acad. Sci, vol.10, pp.185-191, 1981. ,
Comptes Rendus de l, Académie des Science, vol.270, pp.1349-1353, 1970. ,
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
Propositional calculus for contradictory deductive systems, Studia Logica, vol.40, issue.nr 2, pp.143-160, 1969. ,
DOI : 10.1007/BF02134311
A bipolar model of assertability and belief, International Journal of Approximate Reasoning, vol.52, issue.1, pp.76-91, 2011. ,
DOI : 10.1016/j.ijar.2010.05.005
Society semantics and multiple-valued logics, Contemporary Mathematics, vol.235, pp.33-52, 1999. ,
DOI : 10.1090/conm/235/03464
The logic of paradox, Journal of Philosophical Logic, vol.8, issue.1, pp.219-241, 1979. ,
DOI : 10.1007/BF00258428
On propositional calculus P_1, Math. Japon, vol.16, pp.173-180, 1973. ,
Axiomatization of a partial system of three-value calculus of propositions, J. of Computing Systems, vol.1, pp.23-55, 1952. ,