The PRIZ system and propositional calculus

DOI10.1007/BF01069164MaRDI QIDQ3316619zbMATH OpenFDO

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

Publication date 1983

Published in Cybernetics (Search for Journal in Brave)

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)

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.

Cited in

(8)

• The programming system PRIZ
• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• A resolution theorem prover for intuitionistic logic
• Proof-theoretical investigation of temporal logic with time gaps
• Priorean strict implication, Q and related systems
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• The programming system PRIZ
• Reductions in Intuitionistic Linear Logic

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)