by

Wikipedia Bot (@wikibot, 0)

Mathematical logic

Table of contents

Constructivism (mathematics)

Apartness relation

Axiom schema of predicative separation

Bar induction

Brouwer–Heyting–Kolmogorov interpretation

Brouwer–Hilbert controversy

Choice sequence

Church's thesis (constructive mathematics)

Constructive nonstandard analysis

Constructive proof

Constructive set theory

Constructivism (philosophy of mathematics)

Diaconescu's theorem

Disjunction and existence properties

Finitism

Friedman translation

Harrop formula

Indecomposability (intuitionistic logic)

Inhabited set

Intuitionism

Arend Heyting

Dialectica interpretation

Dirk van Dalen

Double-negation translation

Ethical intuitionism

Inquisitive semantics

Michael Dummett

Spread (intuitionism)

Stephen Cole Kleene

Limited principle of omniscience

Markov's principle

Minimal logic

Modulus of continuity

Non-constructive algorithm existence proofs

Realizability

Subcountability

Ultrafinitism

Forcing (mathematics)

Generic filter

Iterated forcing

Laver property

List of forcing notions

Martin's maximum

Nice name

Proper forcing axiom

Ramified forcing

Sacks property

Formal systems

Rules of inference

Absorption (logic)

Admissible rule

Biconditional elimination

Biconditional introduction

Commutativity of conjunction

Conjunction elimination

Conjunction introduction

Constructive dilemma

Contraposition (traditional logic)

Cut rule

Destructive dilemma

Disjunction elimination

Disjunction introduction

Disjunctive syllogism

Double negation

Existential generalization

Existential instantiation

Exportation (logic)

Hypothetical syllogism

List of rules of inference

List of valid argument forms

Material implication (rule of inference)

Modus non excipiens

Modus ponendo tollens

Modus ponens

Modus tollens

Negation as failure

Negation introduction

Resolution (logic)

Rule of replacement

SLD resolution

Structural rule

Tautology (rule of inference)

Transposition (logic)

Universal generalization

Universal instantiation

Systems of formal logic

Substructural logic

Alternative semantics

Attributional calculus

Aṣṭādhyāyī

Dependence logic

Discourse representation theory

Dynamic semantics

Epsilon calculus

Formal ethics

Frege's propositional calculus

Higher-order logic

Implicational propositional calculus

Independence-friendly logic

Infinitary logic

 Ancestors (3)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version