Fresh variable: Difference between revisions

Revision as of 03:23, 3 September 2023

Revision as of 15:17, 4 September 2023

Line 1:

{{Multiple issues|

{{unreferencedMore citations needed|date=September 2023}}

{{notability|date=September 2023}}

}}

In formal reasoning, in particular in [[mathematical logic]], [[computer algebra]], and [[automated theorem proving]], a '''fresh variable''' is a variable that did not occur in the context considered so far.<ref>{{cite report | url=https://cs.uwaterloo.ca/~cbruni/CS245Resources/lectures/2018_Fall/13_Predicate_Logic_Natural_Deduction_post.pdf | author=Carmen Bruni | title=Predicate Logic: Natural Deduction | institution=Univ. of Waterloo | type=Lecture Slides | number=CS245 / 13 | year=2018 }} Here: slide 13/26.</ref>{{cn|datereason=JuneFind more citations like the former one, where it is explained ad hoc, or a proper definition in a 2023textbook.}}

The concept is often used without explanation.<ref>{{cite report | arxiv=2302.10576 | author=Michael Färber | title=Denotational Semantics and a Fast Interpreter for jq | institution=Univ. of Innsbruck | type=Technical Report | number= | date=Feb 2023 }} Here: p.4.</ref>{{cn|reason=Find a few more citations where it is used without further explanation.}}

== Example ==

Line 19 ⟶ 20:

== Notes ==

{{notelist}}

== References ==

{{reflist}}

{{logic-stub}}