Extension Premise

From GM-RKB

(Redirected from extension premise)

Jump to navigation Jump to search

An Extension Premise is a premise that expresses an Extension Relation.

See: Semantic Extension Relation, Equivalence Premise.

References

http://www.proofwiki.org/wiki/Definition:Extension/Relation

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Extension_Premise&oldid=687145"

Concept