On the Proof Theory of ALC

Downloads:

• No text available
• No slides available

BibTeX:

@incollection{publication-37,
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann and Pereira, Luiz Carlos},
  title = {On the Proof Theory of ALC},
  booktitle = {The Many Sides of Logic},
  year = {2009},
  publisher = {College Pulications},
  address = {London},
  pages = {273--285},
  url1 = {http://www.collegepublications.co.uk/logic/?00013},
  url2 = {https://www.amazon.com/Many-Sides-Logic-Studies/dp/1904987788},
  isbn = {9781904987789}
}