Skip to content

Gdel logics with an operator shifting truth values.

Matthias Baaz, Oliver Fasching

VenueBLPAR
Year2010
ProceedingsLPAR short papers(Yogyakarta)

Browse the full LPAR paper archive.