Comparison of several proof systems of intuitionistic propositional logic

MaRDI QIDQ2826389zbMATH OpenFDO

Authors S. M. Sayadyan

Publication date 17 October 2016

Published in Uchenye Zapiski Erevanskogo Gosudarstvennogo Universiteta. Estestvennye Nauki (Search for Journal in Brave)

Full work available at URL http://www.ysu.am/files/5-sayad.pdf

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• On the relative efficiency of different systems for classical and nonclassical propositional logics
• scientific article; zbMATH DE number 2187723
• Complexity of intuitionistic propositional logic and its fragments
• A proof-search procedure for intuitionistic propositional logic
• On different intuitionistic calculi and embeddings from Int to S4

Cited in

(11)

• Reduction of Hilbert-type proof systems to the if-then-else equational logic
• On the relative efficiency of different systems for classical and nonclassical propositional logics
• Proof Theory for Casari's Comparative Logics
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)
• Proof Systems for Effectively Propositional Logic
• scientific article; zbMATH DE number 65529 (Why is no real title available?)
• On non-monotonous properties of some classical and nonclassical propositional proof systems
• scientific article; zbMATH DE number 2187723 (Why is no real title available?)
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Formalized proof systems for propositional logic
• A lower bound for intuitionistic logic

This page was built for publication: Comparison of several proof systems of intuitionistic propositional logic

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