On novikov's approach to the notion of a new intuitionistic connective: Two negative examples

Bulletin of the Section of Logic

Volumn 25, Issue 2, 1996, Pages 84-88

  Yashin, Alexander ^a  

^a UDMURT STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 11544313669     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Ya. S. Smetanich, On completeness of propositional calculi with an additional unary connective, Trudy Moskovskogo Matematicheskogo Obshestva 9 (1960), pp. 357-371. (Russian)
2. Ya. S. Smetanich, On propositional calculi with an additional connective, Soviet Math. Doklady 139 (1961), No. 2, pp. 309-312. (Russian)
3. L. L. Esakia, Toward a theory of superintuitionistic and modal systems, [in:Logical Inference, M.: Nauka, 1979. (Russian)
4. C. Rauszer, A formalization of the propositional calculus of H-B logic, Studia Logica 33 (1975), No. 1, pp. 23-34.
5. C. Rauszer, Applications of Kripke models to Heyting-Brouwer logic, Studia Logica 36 (1977), No. 1-2, pp. 61-71.
6. C. Rauszer, Model theory for an extension of intuitionistic logic, Studia Logica 36 (1977), No. 1-2, pp. 73-87.
7. V. H. Sotirov, Modal theories with intuitionistic logic, Proceed-ings of Conference on Mathematical logic, Soa, 1984, pp. 139-171.
8. D. P. McCullough, Logical connectives for intuitionistic proposi-tional logic, Journal of Symbolic Logic 36 (1971), No. 1, pp. 15-20.