Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity
Crossref DOI link: https://doi.org/10.1007/s10849-023-09396-z
Published Online: 2023-03-30
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lewitzka, Steffen http://orcid.org/0000-0003-0685-9134
Text and Data Mining valid from 2023-03-30
Version of Record valid from 2023-03-30
Article History
Accepted: 12 March 2023
First Online: 30 March 2023