Advanced search

Semantic tableaux in LPF and the adequacy theorem

Author
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
Slaats, Noemie, and Albert Hoogewijs. 1999. “Semantic Tableaux in LPF and the Adequacy Theorem.” In Bulletin of Symbolic Logic. Vol. 5.
APA
Slaats, N., & Hoogewijs, A. (1999). Semantic tableaux in LPF and the adequacy theorem. BULLETIN OF SYMBOLIC LOGIC (Vol. 5). Presented at the 1998 European Summer meeting of the Association for Symbolic Logic ; Logic colloquium  ’98.
Vancouver
1.
Slaats N, Hoogewijs A. Semantic tableaux in LPF and the adequacy theorem. BULLETIN OF SYMBOLIC LOGIC. 1999.
MLA
Slaats, Noemie, and Albert Hoogewijs. “Semantic Tableaux in LPF and the Adequacy Theorem.” Bulletin of Symbolic Logic. Vol. 5. 1999. Print.
@inproceedings{111435,
  author       = {Slaats, Noemie and Hoogewijs, Albert},
  booktitle    = {BULLETIN OF SYMBOLIC LOGIC},
  issn         = {1079-8986},
  language     = {eng},
  location     = {Prague, Czech Republic},
  title        = {Semantic tableaux in LPF and the adequacy theorem},
  volume       = {5},
  year         = {1999},
}