Basic Rules for TFL

Magnus, P. D. Basic Rules for TFL. forall x: Calgary—An Introduction to Formal Logic.

Type

Web resource

Intellectual base

Web

Link

https://forallx.openlogicproject.org/html/Ch17.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Conjunction Introduction
  • The compressed sequent \(A,B\vdash A\land B\) is a valid instance, not the most general rule schema.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:65bdbec4daae · see in the full table