Jump to content

User:Chalst/logic-watchlist

From Wikipedia, the free encyclopedia

Core logic

[edit]
See Wikipedia:WikiProject Logic, User:Chalst/WikiProject Logic proposal, Portal:Logic

Fundamental definitions

[edit]

Types of logic

[edit]

Parts of logic

[edit]

See Logical connective

Subdisciplines of logic

[edit]

Theories

[edit]

Applications of logic in mathematical

[edit]

Proof assistants

[edit]
Basis for modelling Proof assistants and Automated theorem provers
Systems based on logical frameworks
LF (logical framework) LCF theorem prover, Twelf
Hereditary Harrop formulae Isabelle, Lambda-PROLOG
Calculus of constructions
and extensions
Coq, LEGO theorem prover
Intuitionistic type theory NuPRL, MetaPRL, ALF theorem prover
Linear logic Forum meta-logic
Systems based on direct symbolic representations
Hilbert calculus Metamath
First-order logic Mizar, Vampire theorem prover
Church's simple theory of types
and extensions
HOL theorem prover, Prototype Verification System, ProofPower
Equational logic Gabbay's deductive system, OBJ3
Rewriting logic Maude system, ELAN

To incorporate: Automath, NQTHM, MinLog, ACL2, Otter (software).

Logic for argument

[edit]

Mathematical structures for logic and semantics

[edit]

Topology and order theory

[edit]

The human side

[edit]

Logicians

[edit]

Institutions and movements

[edit]

Logic categories

[edit]

Related content

[edit]

Categories

[edit]

Lists and tables

[edit]

Articles

[edit]

False friends

[edit]