Dual intuitionistic logic and a variety of negations: The logic of scientific research

Studia Logica

Volumn 80, Issue 2-3, 2005, Pages 347-367

  Shramko, Yaroslav ^a  

^a KRYVYI RIH STATE PEDAGOGICAL UNIVERSITY   (Ukraine)

Author keywords

Dual intuitionistic logic; Falsification; Kite of negations; Verification

Indexed keywords

EID: 26444466009     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-8474-7     Document Type: Conference Paper

References (31)

1. CZERMAK, J., 'A remark on Gentzen's calculus of sequents', Notre Dame Journal of Formal Logic 18:471-474, 1977.
2. DOŠEN, K., 'Negation as a modal operator', Reports on Mathematical Logic 20:15-27, 1986.
3. DOŠEN, K., 'Negation In the light of modal logic', in D. M. Gabbay and H. Wansing, (eds.), What is Negation?, Applied Logic Series, 13, pp. 77-86, Kluwer Academic Publishers, Dordrecht, 1999.
4. DUNN, J. M., 'Generalized ortho negation', in H. Wansing, (ed.), Negation. A Notion in Focus, pp. 3-26, De Gruyter, Berlin, 1995.
5. DUNN, J. M., 'A Comparative study of various model-theoretic treatments of negation: a history of formal negation', in D.M. Gabbay and H. Wansing, (eds.), What is Negation?, Applied Logic Series, 13, pp. 23-51, Kluwer Academic Publishers, Dordrecht, 1999.
6. DUNN, J.M., 'Partiality and its dual', Studia Logica 65:5-40, 2000.
7. HAZEN, A., Subminimal Negation. Unpublished Manuscript, 1992.
8. JOHANSSON, I., 'Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus', Compositio Mathematika 4:119-136, 1937.
9. FITTING, M., Proof Methods for Modal and Intuitionistic Logics. (Synthese Library; v. 169) D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, 1983.
10. GOODMAN, N., 'The logic of contradiction', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 27:119-126, 1981.
11. GORÉ, R., 'Dual intuitionistic logic revisited', in R. Dyckhoff, (ed.), Proceedings Tableaux 2000 (Lecture Notes in Artificial Intelligence 1847), pp. 252-267, Springer Verlag, Berlin, 2000.
12. GRZEGORCZYK, A., 'A philosophically plausible formal interpretation of intuitionistic Logic', Indagationes Matimaticae 26:596-601, 1964.
13. KAMIDE, N., 'A note on dual-intuitionistic logic', Mathematical Logic Quarterly, 49:519-524, 2003.
14. KRIPKE, S., 'Semantical analysis of intuitionistic logic I', in J.N. Crossley and M.A.E. Dumment, (eds.), Formal Systems and Recursive Functions, pp. 92-130, North-Holland Publishing Company, Amsterdam, 1965.
15. ŁUKOWSKI, P., 'A deductive-reductive form of logic: general theory and intuitionistic case', Logic and Logical Philosophy 10:59-78, 2002.
16. NELSON, D., 'Constructible falsity', Journal of Symbolic Logic 14:16-26, 1949.
17. POPPER, K., The Logic of Scientific Discovery, Routledge, London and New York, 1992.
18. POPPER, K., Conjectures and Refutations. The Growth of Scientific Knowledge, Routlege, London, 1989.
19. RABINOWICZ, W., 'Intuitionistic truth', Journal of Philosophical Logic 14:191-228, 1985.
20. RAUSZER, C., 'Semi-Boolean algebras and their applications to intuitionistic logic with dual operations', Fundamenta Mathematicae LXXXIII:219-249, 1974.
21. RAUSZER, C., 'A formalization of the propositional calculus of H-B-logic', Studia Logica XXXIII:23-34, 1974.
22. RAUSZER, C., 'An algebraic and Kripke-style approach to a certain extension of intuitionistic logic', Dissertationes Mathematicae, CLXVII, PWN, Warszawa, 1980.
23. SHRAMKO, Y., J. M. DUNN, and T. TAKENAKA, 'The trilaticce of constructive truth values', Journal of Logic and Computation 11:761-788, 2001.
24. SHRAMKO, Y., 'Semantics for constructive negations', in H. Wansing (ed.) Essays on Non-Classical Logic, pp. 187-217, World Scientific, New Jersey - London - Singapore - Hong Kong, 2001.
25. SHRAMKO, Y., 'The logic of scientific, research' (In Russian), in Logic and V.E.K.: Festschrift dedicated to 90th birthday of Prof. E.K. Voishvillo, pp. 237-249, Sovremennye tetradi, Moscow, 2003. (The On-line version see: Logical Studies, Online Journal, No. 10, 2003, http://www.logic.ru/Russian/LogStud/10/ Nolu-20.html, ISBN 5-85593-140-4).
26. SMIRNOV, V. A., 'On a system of paraconsistent logic' (in Russian), in V. A. Smirnov and A.S. Karpenko, (eds.), Many-valued, Relevant ans Paraconsistent Logics, pp. 129-133, Moscow, 1984,
27. (Reprinted in V.A. SMIRNOV, A Theory of Logical Inference, pp. 293-298, ROSSPEN, Moscow, 1999).
28. URBAS, I., 'Dual-intuitionistic logic', Notre Dame Journal of Formal Logic 37:440-451, 1996.
29. WANSING, H., The Logic of Information Structures, Springer-Verlag, Berlin Heidelberg, 1993.
30. WOLTER, F., 'On logics with coimplication', Journal of Philosophical Logic 27:353-387, 1998.
31. ZASLAVSKIJ, I. D., Symmetrical Constructive Logic (in Russian), Erevan, 1978.