[1]

ARIELI, O., and A. AVRON, ‘Reasoning with logical bilattices’,

*Journal of Logic Language and Information*, 5:25–63, 1996.

CrossRef[2]

BIA LYNICKI-BIRULA, A., and H. RASIOWA, ‘On constructible falsity in constructive logic with strong negation’, *Colloquium Mathematicum*, 6:287–310, 1958.

[3]

DUNN, J.M., ‘Generalized ortho negation’, in H. Wansing, Walter de Gruyer, (eds.), *Negation, A notion in Focus*, pp. 3–26, Berlin, New York, 1996.

[4]

FIDEL, M.M., ‘An algebraic study of a propositional system of Nelson’, in *Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977*, Lecture Notes in pure Appl. Math., 39, pp. 99–117, 1978.

[5]

FITTING, M., ‘Bilattices and the semantics of logic programming’,

*Journal of logic programming*, 11(2):91–116, 1991.

CrossRef[6]

GARGOV, G., ‘Knowledge, uncertainty and ignorance in logic: bilattices and beyond’, *Journal of Applied Non-Classical Logics*, 9:195–283, 1999.

[7]

GORANKO, V., ‘The Craig Interpolation Theorem for Propositional Logics with Strong Negation’,

*Studia Logica*, 44:291–317, 1985.

CrossRef[8]

KRACHT, M., ‘On extensions of intermediate logics by strong negation’,

*Journal of Philosophical Logic*, 27:49–73, 1998.

CrossRef[9]

LUKASIEWICZ, J., ‘O logice trójwartościowej’, *Ruch Filozoficzny*, 5:170–171, 1920.

[10]

LUKASIEWICZ, J., ‘A system of Modal Logic’, *The Journal of Computing Systems*, 1:111–149 1953.

[11]

LUKASIEWICZ, J., *Aristotle's syllogistic from the standpoint of modern formal logic*, Oxford, Clarendon Press, 1957.

[12]

MARKOV, A. A., ‘Constructive Logic’, *(in Russian), Uspekhi Matematicheskih Nauk* 5:187–188, 1950.

[13]

NELSON, D., ‘Constructible falsity’, *Journal of Symbolic Logic*, 14:16–26, 1949.

[14]

ODINTSOV, S. P., ‘Algebraic semantics for paraconsistent Nelson's Logic’,

*Journal of Logic and Computation*, 13(4):453–468, 2003.

CrossRef[15]

ODINTSOV, S.P., ‘On the Representation of N4-Lattices’,

*Studia Logica*, 76(3):385405, 2004.

CrossRef[16]

PEARCE, D. and G. WAGNER, ‘Reasoning with negative information, I: Strong negation in logic programs’, *Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki*, 49:405–439, 1990.

[17]

PEARCE, D., and G. WAGNER, ‘Logic programming with strong negation’, in P. Schroeder-Heister, (ed.), *Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, No. 475*, pp. 311–326, Springer-Verlag, Berlin, 1991.

[18]

PYNKO, A. P., ‘Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions’, *Journal of Applied Non-Classical Logics*, 9:61–105, 1999.

[19]

RASIOWA, H., ‘N-lattices and constructive logic with strong negation’, *Fundamenta Mathematicae*, 46:61–80, 1958.

[20]

Rasiowa, H., *An algebraic approach to non-classical logic*, North-Holland Publishing Company, Amsterdam, London, 1974.

[21]

SENDLEWSKI, A., ‘Some investigations of varieties of N-lattices’, *Studia Logica*, 43:257–280, 1984.

[22]

SENDLEWSKI, A., ‘Nelson algebras through Heyting ones’,

*Studia Logica*, 49:106–126, 1990.

CrossRef[23]

VAKARELOV, D., ‘Ekstensionalnye Logiki’, *(in Russian), Doklady BAN*, 25:1609–1612, 1972.

[24]

VAKARELOV, D., ‘Models for constructive logic with strong negation’, *V Balkan Mathematical Congress, Abstracts*, Beograd, 1974, 298.

[25]

VAKARELOV, D., ‘Obobschennye reshetki Nelsona’, *Chetvertaya Vsesoyuznaya Conferenciya po Matematicheskoy Logike, tezisy dokladov i soobschtenii*, Kishinev, 1976.

[26]

VAKARELOV, D., *Theory of Negation in Certain Logical Systems. Algebraic and Semantical Approach*, Ph.D. dissertation, University of Warsaw, 1976.

[27]

VAKARELOV, D., ‘Notes on N-lattices and constructive logic with strong negation’,

*Studia Logica* 36:109–125, 1977.

CrossRef[28]

VAKARELOV, D., ‘Intuitive Semantics for Some Three-valued Logics Connected with Information, Contrariety and subcontrariety’,

*Studia Logica*, 48(4):565–575, 1989.

CrossRef[29]

VAKARELOV, D., ‘Consistency, Completeness and Negation’, in Gr. Priest, R. Routley and J. Norman, (eds.), *Paraconsistent Logic. Essays on the Inconsistent*, pp. 328–363, Analiytica, Philosophia Verlag, Munhen, 1989.

[30]

VOROB'EV, N.N., ‘Constructive propositional calculus with strong negation’, *(in Russian), Doklady Academii Nauk SSSR*, 85:456–468, 1952.

[31]

VOROB'EV, N.N., ‘The problem of provability in constructive propositional calculus with strong negation’, *(in Russian), Doklady Academii Nauk SSSR*, 85:689–692, 1952.

[32]

VOROB'EV, N.N., ‘Constructive propositional calculus with strong negation’, *wide(in Russian), Transactions of Steklov's institute*, 72:195–227, 1964.