Intuitionistic logic
![Intuitionistic Logic with Strong Negation Was Regarded in [5], [7], [8] and [10]](http://data.docslib.org/img/264x/38381eecbd628b659bbecb5579db3e1b.webp)
Top View
- Many-Valued Modal Logics II
- Using Intuitionistic Logic As a Basis for Legal Ontologies
- On Various Negative Translations
- Three-Valued Logics in Modal Logic
- S Paraconsistent Logic: a Uniform Perspective✩
- Intuitionistic Logic and Modality Via Topology
- Non-Classical Metatheory for Non-Classical Logics
- Introduction to Constructive Logic and Mathematics
- Intuitionistic Type Theory
- Using Intuitionistic Logic As a Basis for Legal Ontologies
- Intuitionistic Logic Versus Constructive Logic 1 Constructive Mathematics
- A Brief Introduction to the Intuitionistic Propositional Calculus
- De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory
- Linear Logic for Constructive Mathematics
- An Overview of Intuitionistic and Linear Logic
- Using Intuitionistic Logic As a Basis for Legal Ontologies
- On Relating Type Theories to (Intuitionistic) Set Theories
- Paraconsistent Logic and Weakening of Intuitionistic Negation