SEMANTIC REPRESENTATION OF INCONSISTENT INTUITIONISTIC THEORIES
DOI:
https://doi.org/10.17721/2523-4064.2017/2-4/7Keywords:
Intuitionistic logic, state descriptions, constructive truthAbstract
In this paper I propose a new method of semantic modeling for intuitionistic logic and provide an intuitive justification to this method. I put in the focus of consideration a concept of intuitionistic theory which is the basic concept of the whole analysis.
References
Carnap, R. Meaning and Necessity A Study in Semantics and Modal Logic. Second edition, Chicago and London (The University of Chicago Press), 1988 (First edition – 1947).
Heyting A. Intuitionism an Introduction, Studies in Logic and Foundations of Mathematics, Amsterdam, 1956.
Johansson I. Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, Compositio Math., 4, 1936, pp. 119-136.
Shramko, Y. Time and Negation // Faye, J., Scheffler, U., and Urchs, M. (eds.) Perspectives of Time. Dordrecht / Boston / London (Kluwer Academic Publishers), 1997, pp. 399-416.
Shramko, Y. "Semantics for constructive negations", UPPP, University of Uppsala, 1997, no 9, pp. 1-28.
ISSN 
ISSN 
