Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions

@inproceedings{Montagna2006NotesOS,
  title={Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions},
  author={Franco Montagna},
  booktitle={Algebraic and Proof-theoretic Aspects of Non-classical Logics},
  year={2006}
}

From This Paper

Topics from this paper.