A gentzen system for conditional logic |
| |
| Authors: | Fernando Guzmán |
| |
| Affiliation: | (1) Department of Mathematical Sciences, Binghamton University, 13902-6000 Binghamton, NY, USA |
| |
| Abstract: | Conditional logic is the deductive system   ,   where is the set of propositional connectives { ,  , } and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C,  . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andf<u<t. In this paper we give a Gentzen type axiomatization for conditional logic.Presented byJan Zygmunt |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
