Publication Date:
2015-04-02
Description:
We investigate models of first-order logic designed to give semantics to reductive proof-search systems, with special attention to the so-called - and -rules controlling quantifiers. The key innovation is the use of syntax and semantics with (finitely supported) name-symmetry , in the style of nominal techniques.
Print ISSN:
0955-792X
Electronic ISSN:
1465-363X
Topics:
Computer Science
,
Mathematics
Permalink