A First Order System with Finite Choice of Premises

Kai BrünnlerKai Brünnler, Alessio GuglielmiAlessio Guglielmi

Kai Brünnler, Alessio Guglielmi
A First Order System with Finite Choice of Premises
In Hendricks et al., eds., First-Order Logic Revisited. Logos Verlag, to appear

Details
Bibtex

Bemerkung: Note: To appear.
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@incollection{BG2004,
  author    = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
  title     = {A First Order System with Finite Choice of Premises},
  editor    = {Hendricks et al.},
  booktitle = {First-Order Logic Revisited},
  publisher = {Logos Verlag},
  year      = {2004}
}