3 papers
cs.LO2024
Many-Valued Modal Logic
Amir Karniel, Michael Kaminski
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of prop…
cs.LO2021
A note on calculi for non-deterministic many-valued logics
Michael Kaminski
We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained…
cs.CC2021
On sets of linear forms of maximal complexity
Michael Kaminski, Igor E. Shparlinski, Michel Waldschmidt
We present a uniform description of sets of linear forms in variables over the field of rational numbers whose computation requires additions.