- a
superintuitionistic logic is a
propositional logic extending intuitionistic logic.
classical logic is the
strongest consistent superintuitionistic logic;...
- ⊥ } {\displaystyle \{\to ,\land ,\lor ,\bot \}} in the case of
superintuitionistic logics, or { → , ⊥ , ◻ } {\displaystyle \{\to ,\bot ,\Box \}} in...
- In logic, a
modal companion of a
superintuitionistic (intermediate)
logic L is a
normal modal logic that
interprets L by a
certain canonical translation...
- not a theorem, and
neither is its negation).[citation needed] In
superintuitionistic and
modal logics, a
logic is
structurally complete if
every admissible...
- the
classical modal logic S4. The
result has been
generalized to
superintuitionistic logics and
extensions of S4. The
theory of
abstract algebraic logic...
- 1017/9781316543870. ISBN 9781107146723. S2CID 201542298.
Alexandrov topology Superintuitionistic (aka intermediate)
logics List of
Boolean algebra topics Ockham algebra...
-
stronger than
intuitionistic logic. It is a
modal companion to the
superintuitionistic logic QH+KF.
Determinism and
freedom Determinism and
Freedom in Stoic...
- Maksimova,
Larisa Lvovna (2009):
Restricted interpolation property in
superintuitionistic logics.
Algebra i Logika,
Volume 48,
Number 1, pp. 54–89 Švejdar...