A Gentzen system for conditional logic

DOI10.1007/BF01054712zbMath0807.03011OpenAlexW8500925MaRDI QIDQ1327484

Fernando Guzmán

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

zbMATH Keywords

completenesssoundnessconditional logicGentzen-type formulation

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• The algebra of conditional logic
• On the degree of complexity of sentential logics. A couple of examples
• On reduced matrices
• The formal system for varuous 3-valued logics. II
• Logics preserving degrees of truth
• Algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Gentzen system for conditional logic