\(T\)-theorem proving. I
From MaRDI portal
Publication:1914165
DOI10.1006/jsco.1995.1053zbMath0851.68101MaRDI QIDQ1914165
Jacob T. Schwartz, Alberto Policriti
Publication date: 4 June 1996
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1995.1053
Related Items
Combining Non-Stably Infinite Theories, Goals and benchmarks for automated map reasoning, Filter-based resolution principle for lattice-valued propositional logic LP\((X)\), Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators, A set-theoretic translation method for polymodal logics