Strict logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as

See also[edit]