Seiki Akama, Yasunori Nagata. Constructive Logic and Situation Theory. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 1-8, IOS Press, 2005.
@inproceedings{AkamaN05:0,
title = {Constructive Logic and Situation Theory},
author = {Seiki Akama and Yasunori Nagata},
year = {2005},
tags = {logic},
researchr = {https://researchr.org/publication/AkamaN05%3A0},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005},
editor = {Kazumi Nakamatsu and Jair Minoro Abe},
volume = {132},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-568-6},
}