If structured propositions are logical procedures then how are procedures individuated?
Crossref DOI link: https://doi.org/10.1007/s11229-017-1595-5
Published Online: 2017-11-29
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Duží, Marie http://orcid.org/0000-0002-5393-6916
Funding for this research was provided by:
Grantová Agentura České Republiky (GA15-13277S)
Text and Data Mining valid from 2017-11-29
Article History
Received: 3 March 2017
Accepted: 13 October 2017
First Online: 29 November 2017