[FC2003] From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games

Tree

Index

Bibliography

[FC2003] From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games

CF03ISMVL (In proceedings)
Author(s)	Fermüller C. G. and Ciabattoni A.
Title	"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games"
Date	May 2003
In	Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic

BibTeX code

@inproceedings{CF03ISMVL,
  month = {May},
  address = {Tokyo},
  title = {From Intuitionistic Logics to {{G\"odel-Dummett}} Logic via Parallel Dialogue Games},
  author = {C. G. Ferm{\"u}ller and A. Ciabattoni},
  year = {2003},
  booktitle = {Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug