The PRIZ system and propositional calculus

DOI10.1007/BF01069164zbMath0533.68072MaRDI QIDQ3316619

M. B. Matskin, B. B. Volozh, É. Kh. Tyugu, Grigori Mints

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

intuitionistic propositional calculuslogical connectivesdeductions of intuitionistically deducible propositional formulas

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Intuitionistic mathematics (03F55) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (3)

Reductions in Intuitionistic Linear Logic ⋮ A resolution theorem prover for intuitionistic logic ⋮ Proof-theoretical investigation of temporal logic with time gaps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The PRIZ system and propositional calculus