Kripke Completeness of First-Order Constructive Logics with Strong Negation

Publication Information

Title

Japanese:
English:	Kripke Completeness of First-Order Constructive Logics with Strong Negation

Author

Japanese:	Ichiro Hasuo, Ryo Kashima.
English:	Ichiro Hasuo, Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Logic Journal of the Interest Group in Pure and Applied Logics

Volume, Number, Page

Vol. 11 No. 6 pp. 615-646

Published date

2003

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI