Herbrand-satisfiability of a Quantified Set-theoretic Fragment*

DOI10.3233/FI-2017-1460zbMath1374.68238OpenAlexW2593625122MaRDI QIDQ4589601

Cristiano Longo, Domenico Cantone, Marianna Nicolosi-Asmundo

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1460

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)