User:Hotfeba/logic dictionary stubs

This non-article page is a tracking area to collect links to logic articles consisting of one to three sentences, or otherwise likely to be considered not Wikipedia-suitable as dictionary definitions. Those pages are candidates for expansion as articles with references, in-line citations, and all of those other goodies that, when absent, cause warning boxes to eventually appear on them. For the curious, see WP:NOT#Wikipedia is not a dictionary.

STALE-BREAD WARNING: I compiled this list hastily on seeing a request for renaming/deletion of the logic stub category in mid-July 2007, before I was aware of Gregbard's request for bot categorization of possible {{Logic2}} candidate articles. Over time, mold will overtake this list. (It is amazing what one can do in a automaton-like state with cut-&-paste between two tabbed pages while on caffeine, a trait I attribute to hours of piano practice in my youth.)

---

Abacus logic

Abductive validation

Affine logic

Affirming the consequent

Analytic proof

Antecedent (logic)

Argument form

Automath theorem prover

Axiomatization

Backward chaining

Barcan formula

Biconditional elimination

Biconditional introduction

Bunched logic

Calculus of structures

Categorical logic

Cointerpretability

Combinational logic

Computability logic

Conditional proof

Conjunction elimination

Conjunction introduction

Conjunctive normal form

Consequent

Constructive dilemma

Contraposition

Control logic

Converse implication

Converse nonimplication

Conversion (logic)

Cotolerant sequence

Cut-elimination theorem

Degree of truth

Denying the antecedent

Dependent type

Deviant logic

Disjunction elimination

Disjunction introduction

Disjunctive normal form

Disjunctive syllogism

Don't-care (logic)

Double negative elimination

Doxastic logic

End term

Existential fallacy

Existential quantification

Fallacy of distribution

Fallacy of four terms

Finite model theory

First-order predicate

Fluent calculus

Gricean maxims

HOL theorem prover

Higher-order logic

Horn clause

Hybrid logic

Hypothetical syllogism

Independence-friendly logic

Inverse (logic)

LCF theorem prover

LF (logical framework)

Logic in computer science

Logic redundancy

Logical form

Löb's theorem

Material nonimplication

Maximal consistent set

Modus ponens

Monadic Boolean algebra

Monadic predicate calculus

Multimodal logic

NuPRL

OBJ3

Port-Royal Logic

Predicate logic

Principles of Theoretical Logic

Problem of multiple generality

Proof net

Proof-theoretic semantics

Prototype Verification System

Provability logic

Relevance logic

Semantics of logic

Soundness

Substructural logic

Syllogistic fallacy

Takeuti conjecture

Third-cause fallacy

Trivialism

Truth-conditional semantics

Typed lambda calculus

Validity

Vampire theorem prover

---

All articles have been tagged with {{Logic2}} and will get a stub rating on next visit; others may follow up and remove if appropriate. After that, shortest articles on this list with no citations and references will be re-visited first. A reference will be found, and a note section will be added for at least one in-line citation to show. Anyone finding a better reference should feel free to add/replace. The goal is to remove the stub tag once the article has more meat on its bones. Nobody is required to do things in this order, least of all by me.