Deduction search in calculi of general type

DOI10.1007/BF01084079zbMath0375.02025OpenAlexW2047691551MaRDI QIDQ1245945

S. Yu. Maslov

Publication date: 1976

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Proof theory and constructive mathematics (03F99)

Related Items (1)

Theorem prover for intuitionistic logic based on the inverse method

Cites Work

• Untersuchungen über das logische Schliessen. II
• CALCULUSES AND FORMAL SYSTEMS
• Formal Reductions of the General Combinatorial Decision Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deduction search in calculi of general type