суперинтуиционистская логика
Sign in to saveAlso known as superintuitionistic logic
пропозициональная логика
In the Vinony graph
Vinony's link graph records 68 inbound references to суперинтуиционистская логика, and connects out to three-state logic, Kripke semantics and International Standard Book Number.
It sits within the topics Non-classical logic, Propositional calculus and Systems of formal logic.
Vinony links it to 7 Wikipedia language editions.
Wikidata facts
- Instance of
- propositional calculus
- Subclass of
- mathematical logic
- Based on
- intuitionistic logic
via Wikidata · CC0
Connections
three-state logic
Entity
Kripke semantics
Entity
International Standard Book Number
Entity
Kurt Gödel
Entity
digital object identifier
Entity
mathematical logic
Entity
subset
Entity
JSTOR
Organization
Oxford University Press
Entity
propositional calculus
Entity
Augustus De Morgan
Entity
Alfred Tarski
Entity
De Morgan's laws
Entity
fuzzy logic
Entity
Hilary Putnam
Entity
finite set
Entity
VHDL
Entity
modal logic
Entity
principle of excluded middle
Entity
Semantic Scholar
Entity