Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
From MaRDI portal
Publication:3982861
DOI10.1002/malq.19910370902zbMath0738.03010OpenAlexW2047100256WikidataQ114696418 ScholiaQ114696418MaRDI QIDQ3982861
Publication date: 26 June 1992
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19910370902
Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
