- Deductive reasoning
- >
- Metalogic
- >
- Proof theory
- >
- Substructural logic

- Fields of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- Substructural logic

- Fields of mathematics
- >
- Mathematical logic
- >
- Proof theory
- >
- Substructural logic

- Formal theories
- >
- Formal systems
- >
- Systems of formal logic
- >
- Substructural logic

- Mathematical logic
- >
- Formal systems
- >
- Systems of formal logic
- >
- Substructural logic

- Mathematics
- >
- Mathematical proofs
- >
- Proof theory
- >
- Substructural logic

- Metalogic
- >
- Formal systems
- >
- Systems of formal logic
- >
- Substructural logic

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- Substructural logic

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Proof theory
- >
- Substructural logic

- Theorems
- >
- Mathematical proofs
- >
- Proof theory
- >
- Substructural logic

Affine logic

Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated

Relevance logic

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substr

Linear logic

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties o

Substructural logic

In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contraction, exchange or associativity. Two of the

Separation logic

In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing up

Noncommutative logic

Noncommutative logic is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus. Its sequent c

Bunched logic

Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and . Bunched logic provides primitives for reasoning about resource composition, which aid in the compositional analysis of

© 2023 Useful Links.