Proof of decidability of the traditional calculus of names

DOI10.1007/BF02123833zbMath0362.02010OpenAlexW2134168625MaRDI QIDQ1239722

Boguslaw Iwanus

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123833

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (1)

Rejection in Łukasiewicz’s and Słupecki’s Sense

Cites Work

• Aristotle's syllogistic from the standpoint of modern formal logic

This page was built for publication: Proof of decidability of the traditional calculus of names