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.
Formalized Formal Logic.https:// formalizedformallogic.github.io/, May 2026
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.