Quantifiers in logic and proof-search using permissive-nominal terms and sets

DOI10.1093/LOGCOM/EXS057zbMath1382.03037OpenAlexW2140680796MaRDI QIDQ3195622

Claus-Peter Wirth, Murdoch James Gabbay

Publication date: 20 October 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/de665ff340956c0892d13c318eee6351419e4c12

zbMATH Keywords

higher-order logicquantifiersnominal techniquesproof-searchname-symmetry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Quantifiers in logic and proof-search using permissive-nominal terms and sets