Introduces very weak subintuitionistic logic VF, proves soundness and completeness for adapted relational semantics along with disjunction and finite frame properties, shows strict weakness relative to WF, and examines modal companions via modified Gödel translation.
Uniform Lyndon interpolation for the pure logic of necessita- tion with a modal reduction principle.Journal of Logic and Computation, 35(7):exaf048, September 2025
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Very weak subintuitionistic logics
Introduces very weak subintuitionistic logic VF, proves soundness and completeness for adapted relational semantics along with disjunction and finite frame properties, shows strict weakness relative to WF, and examines modal companions via modified Gödel translation.