This paper is devoted to the construction of conditional logic system of {}ukasiewicz m-valued propositional logic. We construct conditional logic system {}CR based on {}ukasiewicz m-valued propositional logic. We construct world semantics for the system by generalizing conditional and accessibility relation from classical bivalent to m-valued, and prove its soundness, completeness and finite model property. Conditionals of {}CR cannot be generalized directly to variable strict conditionals, but they are stricter than classical conditionals.
No takes yet. Share an insight, caveat, or question.
Shuquan Huo (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: