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)
03B50: Many-valued logic
Cites Work