Linear logic - Revision history

Rightof Genghiskhan at 06:38, 2 March 2023

2023-03-02T06:38:44Z

← Older revision		Revision as of 21:38, 1 March 2023
Line 1:		Line 1:
	'''Linear logic''' is a refinement of [[classical logic]] and [[intuitionistic logic]]. Instead of emphasizing [[truth]], as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain ~~modals~~. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the [[nature]] of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.		'''Linear logic''' is a refinement of [[classical logic]] and [[intuitionistic logic]]. Instead of emphasizing [[truth]], as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain models. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the [[nature]] of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.

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

Bacchus: Text replacement - "nature" to "nature"

2023-02-18T02:10:23Z

Text replacement - "nature" to "nature"

← Older revision		Revision as of 17:10, 17 February 2023
Line 1:		Line 1:
	'''Linear logic''' is a refinement of [[classical logic]] and [[intuitionistic logic]]. Instead of emphasizing [[truth]], as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the nature of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.		'''Linear logic''' is a refinement of [[classical logic]] and [[intuitionistic logic]]. Instead of emphasizing [[truth]], as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the [[nature]] of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.

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

Bacchus: Created page with "'''Linear logic''' is a refinement of classical logic and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation..."

2023-01-20T07:33:46Z

Created page with "'''Linear logic''' is a refinement of classical logic and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation..."

New page

'''Linear logic''' is a refinement of [[classical logic]] and [[intuitionistic logic]]. Instead of emphasizing [[truth]], as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic also provides new insights into the nature of proofs in both classical and intuitionistic logic. Given its focus on resources, linear logic has found many applications in Computer Science.

[[Category:Definitions]]