Infon logic based on constructive logic

Logique et Analyse

Volumn 49, Issue 194, 2006, Pages 119-136

  Akama, Seiki ^a   Nagata, Yasunori ^b  

^a TEIKYO HEISEI UNIVERSITY   (Japan)

^b UNIVERSITY OF THE RYUKYUS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52049120043     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Akama, S. (1988): Constructive predicate logic with strong negation andmodel theory, Notre Dame Journal of Formal Logic, 29, 18-27
2. Almukdad, A. and Nelson, D. (1984): Constructible falsity and inexactpredicates, Journal of Symbolic Logic, 49, 231-33
3. Anderson, R., Belnap, N. and Dunn, J. (1992): Entailment vol. 2Princeton University Press, Princeton
4. Barwise, J. and Etchemendy, J. (1990): Information, infons, andApplications, 22, Stanfordinference, K. Cooper, K. Mukai, and J. Perry (eds.), Situation Theory and itsApplications, vol. 1, 33-78, CSLI Lecture Notes 22, Stanford
5. Barwise, J. and Perry, J. (1983): Situations and Attitudes, MIT PressCambridge, Mass
6. Devlin, K. (1991): Logic and Information, Cambridge University PressCambridge
7. Nelson, D. (1949): Constructible falsity, Journal of Symbolic Logic, 1416-26
8. Smullyan, R. (1968): First-Order Logic, Springer, Berlin
9. Thomason, R.H. (1969): Semantical study of constructible falsityZeitschrift für mathematische Logik und Grundlagen der Mathematik, 15,247-57
10. Wang, X. and Mott, P. (1998): A variant of Thomason's first-order logicCF based on situations, Notre Dame Journal of Formal Logic. 39, 74-93
11. Wansing, H. (1993): The Logic of Information Structures, Springer, Berlin