On axiomatizing shramko-wansing's logic

Studia Logica

Volumn 91, Issue 3, 2009, Pages 407-428

  Odintsov, Sergei P ^a,b  

^a SOBOLEV INSTITUTE OF MATHEMATICS   (Russian Federation)

^b NOVOSIBIRSK STATE UNIVERSITY   (Russian Federation)

Author keywords

Axiomatics; Generalized truth value; Twist structure

Indexed keywords

EID: 64749107547     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-009-9181-6     Document Type: Article

References (12)

1. Belnap, N.D., 'A useful four-valued logic', in G. Epstein and M.J. Dunn, (eds.), Modern Uses of Multiple-Valued Logic, Oriel Press, 7-37, 1977.
2. Belnap, N.D., 'How computer should think', in G.Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, 1977, 30-56.
3. Chagrov A., Zakharyaschev M.: Modal logic. Clarendon Press, Oxford (1997)
4. Fidel, M.M., 'An algebraic study of a propositional system of Nelson', in Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lect. Notes Pure Appl. Math., 39, 99-117, 1978.
5. M. Kracht 1998 On extensions of intermediate logics by strong negation Journal of Philosophical Logic 27 49 73
6. S. Miura 1966 A remark on the intersection of two logics Nagoja Math. J. 26 167 171
7. S.P. Odintsov 2003 Algebraic semantics for paraconsistent Nelson's Logic Journal of Logic and Computation 13 453 468
8. Odintsov S.P.: Constructive negations and paraconsistency. Springer, Dordrecht (2008)
9. Y. Shramko H. Wansing 2005 Some useful 16-valued logics: how a computer network should think Journal of Philosophical Logic 34 121 153
10. Y. Shramko H. Wansing 2006 Hypercontradictions, generalized truth values, and logics of truth and falsehood Journal of Logic, Language and Information 15 403 424
11. D. Vakarelov 1977 Notes on N-lattices and constructive logic with strong negation Studia logica 36 109 125
12. Wansing H., Shramko Y.: An note on two ways of defining a many-valued logic. In: Pelis, M. (eds) Logica Yearbook 2007, pp. 255-266. Filosofia, Prague (2008)