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.
Weak Subintu- itionistic Logics.Logic Journal of IGPL, page jzw062, December 2016
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.