Properties of Intuitionistic Provability and Preservativity Logics

Authors
Publication date 2004
Host editors
  • W.A. Carnielli
  • F.M. Dionisio
  • P. Mateus
Book title CombLog'04, Workshop on Combination of Logics: Theory and Applications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back