Restricting the contraction axiom in dummett's lc: A sublogic of LC with the converse ackermann property, the logic LCo

  1. Salto, F.
  2. Mendez, J.M.
  3. Robles, G.
Journal:
Bulletin of the Section of Logic

ISSN: 0138-0680

Year of publication: 2001

Volume: 30

Issue: 3

Pages: 139-146

Type: Article

GOOGLE SCHOLAR
Data source: Scopus