Deduction search in calculi of general type

DOI10.1007/BF01084079zbMATH Open0375.02025OpenAlexW2047691551MaRDI QIDQ1245945FDOQ1245945

Authors: 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)

Cites Work

• Formal Reductions of the General Combinatorial Decision Problem
• Untersuchungen über das logische Schliessen. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• CALCULUSES AND FORMAL SYSTEMS
• Title not available (Why is that?)

Cited In (1)

• Theorem prover for intuitionistic logic based on the inverse method

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245945)