[BFZ1993b] Systematic Construction of Natural Deduction Systems for Many-valued Logics

Tree

Index

Bibliography

[BFZ1993b] Systematic Construction of Natural Deduction Systems for Many-valued Logics

BaazFermZach93SMVL (In proceedings)
Author(s)	Baaz M., Fermüller C. G. and Zach R.
Title	"Systematic Construction of Natural Deduction Systems for Many-valued Logics"
Date	May 24--27 1993
In	Proc. 23rd International Symposium on Multiple-valued Logic
Page(s)	208--215
Publisher	IEEE Computer Society Press, Los Alamitos

BibTeX code

@inproceedings{BaazFermZach93SMVL,
  month = {May 24--27},
  publisher = {{IEEE} Computer Society Press, Los Alamitos},
  title = {Systematic Construction of Natural Deduction Systems for Many-valued Logics},
  author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
  year = {1993},
  booktitle = {Proc. 23rd International Symposium on Multiple-valued Logic},
  pages = {208--215},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug