Concept

Intermediate logic

Overview

propositional logic extending intuitionistic logic

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Intermediate logic

• Kurt Gödel
• Michael Dummett
• Susanne Bobzien

Related ideas

• Finite set
• Dana Scott
• Kurt Gödel
• Intuitionistic logic
• Law of excluded middle
• Propositional logic
• Modus ponens
• Augustus De Morgan
• Mathematical logic
• Minimal logic
• Subset
• Michael Dummett
• Total order
• Modal logic
• Peirce's law
• Classical logic
• Principle of explosion
• Alfred Tarski
• De Morgan's laws
• Hilary Putnam
• Contraposition
• Kripke semantics
• Material implication (rule of inference)
• Gödel logic

Place in the tradition

Part of Outline of philosophy.

Narrower topics:

• Dana Scott
• Peirce's law
• Total order
• Material implication (rule of inference)
• Gödel logic
• Consequentia mirabilis
• Independence of premise

Explore Intermediate logic in the interactive graph →