Year: 2024
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Huo, Shuquan
Institution: Henan University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4401201537