A Gentzen system for conditional logic
From MaRDI portal
Publication:1327484
DOI10.1007/BF01054712zbMath0807.03011MaRDI QIDQ1327484
Publication date: 5 March 1995
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01054712
03B50: Many-valued logic
Cites Work