Affine logic - Revision history

Bacchus: Text replacement - "tbe " to "the "

2024-04-28T23:07:23Z

Text replacement - "tbe " to "the "

← Older revision		Revision as of 14:07, 28 April 2024
Line 1:		Line 1:
	'''Affine logic''' is a substructural logic whose proof [[Theory]] rejects ~~tbe~~ structural rule of contraction. It can also be characterized as linear logic with weakening. ~~tbe~~ name "affine logic" is associated with linear logic, to which it differs by allowing ~~tbe~~ weakening rule. Jean-Yves Girard introduced ~~tbe~~ name as part of ~~tbe~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - " the " to " tbe "

2024-04-26T17:30:50Z

Text replacement - " the " to " tbe "

← Older revision		Revision as of 08:30, 26 April 2024
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing ~~the~~ weakening rule. Jean-Yves Girard introduced ~~the~~ name as part of ~~the~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''Affine logic''' is a substructural logic whose proof [[Theory]] rejects tbe structural rule of contraction. It can also be characterized as linear logic with weakening. tbe name "affine logic" is associated with linear logic, to which it differs by allowing tbe weakening rule. Jean-Yves Girard introduced tbe name as part of tbe geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

𝗔𝗿𝗰𝗵𝗮𝗻𝗴𝗲𝗹: Text replacement - "tbe" to "the"

2023-09-12T23:13:15Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 14:13, 12 September 2023
Line 1:		Line 1:
	'''Affine logic''' is a substructural logic whose proof [[Theory]] rejects ~~tbe~~ structural rule of contraction. It can also be characterized as linear logic with weakening. ~~tbe~~ name "affine logic" is associated with linear logic, to which it differs by allowing ~~tbe~~ weakening rule. Jean-Yves Girard introduced ~~tbe~~ name as part of ~~tbe~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - "the" to "tbe"

2023-09-08T22:55:54Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 13:55, 8 September 2023
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing ~~the~~ weakening rule. Jean-Yves Girard introduced ~~the~~ name as part of ~~the~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''Affine logic''' is a substructural logic whose proof [[Theory]] rejects tbe structural rule of contraction. It can also be characterized as linear logic with weakening. tbe name "affine logic" is associated with linear logic, to which it differs by allowing tbe weakening rule. Jean-Yves Girard introduced tbe name as part of tbe geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

WikiSysop: Text replacement - " The " to " the "

2023-02-27T07:41:08Z

Text replacement - " The " to " the "

← Older revision		Revision as of 22:41, 26 February 2023
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing ~~The~~ weakening rule. Jean-Yves Girard introduced ~~The~~ name as part of ~~The~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

WikiSysop: Text replacement - "tbe" to "The"

2023-02-14T08:48:53Z

Text replacement - "tbe" to "The"

← Older revision		Revision as of 23:48, 13 February 2023
Line 1:		Line 1:
	'''Affine logic''' is a substructural logic whose proof [[~~tbeory~~]] rejects ~~tbe~~ structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing ~~tbe~~ weakening rule. Jean-Yves Girard introduced ~~tbe~~ name as part of ~~tbe~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing The weakening rule. Jean-Yves Girard introduced The name as part of The geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - "the" to "tbe"

2023-02-14T06:34:01Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 21:34, 13 February 2023
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing ~~the~~ weakening rule. Jean-Yves Girard introduced ~~the~~ name as part of ~~the~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''Affine logic''' is a substructural logic whose proof [[tbeory]] rejects tbe structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing tbe weakening rule. Jean-Yves Girard introduced tbe name as part of tbe geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - "theory" to "theory"

2023-02-10T03:55:32Z

Text replacement - "theory" to "theory"

← Older revision		Revision as of 18:55, 9 February 2023
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - "tbe" to "the"

2023-02-06T14:14:48Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 05:14, 6 February 2023
Line 1:		Line 1:
	'''Affine logic''' is a substructural logic whose proof ~~tbeory~~ rejects ~~tbe~~ structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing ~~tbe~~ weakening rule. Jean-Yves Girard introduced ~~tbe~~ name as part of ~~tbe~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''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 with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]

Bacchus: Text replacement - "the" to "tbe"

2023-02-05T07:34:12Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 22:34, 4 February 2023
Line 1:		Line 1:
	'''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 with linear logic, to which it differs by allowing ~~the~~ weakening rule. Jean-Yves Girard introduced ~~the~~ name as part of ~~the~~ geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.		'''Affine logic''' is a substructural logic whose proof tbeory rejects tbe structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing tbe weakening rule. Jean-Yves Girard introduced tbe name as part of tbe geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.


	[[Category:Definitions]]		[[Category:Definitions]]