The PRIZ system and propositional calculus

DOI10.1007/BF01069164zbMATH Open0533.68072MaRDI QIDQ3316619FDOQ3316619

Authors: B. B. Volozh, M. B. Matskin, G. E. Mints, É. Kh. Tyugu 

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

Recommendations

• The programming system PRIZ
• The programming system PRIZ
• scientific article; zbMATH DE number 3947617
• scientific article; zbMATH DE number 63752
• On sequent calculi for intuitionistic propositional logic.

zbMATH Keywords

logical connectivesintuitionistic propositional calculusdeductions 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• The programming system PRIZ
• A resolution theorem prover for intuitionistic logic
• Title not available (Why is that?)
• Proof-theoretical investigation of temporal logic with time gaps
• Priorean strict implication, Q and related systems
• Title not available (Why is that?)
• Reductions in Intuitionistic Linear Logic
• The programming system PRIZ

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

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