2 papers
math.LO2023
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
Yiheng Wang, Hao Zhan, Yu Peng +1
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operat…
cs.LO2018
The Finite Model Property of Quasi-transitive Modal Logic
Zhe Lin, Minghui Ma
The finite model property of quasi-transitive modal logic is established. This modal logic is conservatively…