ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS

DOI10.46991/PYSU:A/2020.54.3.127zbMath1496.03238MaRDI QIDQ5100154

A. A. Hambardzumyan, A. A. Chubaryan

Publication date: 29 August 2022

Published in: Proceedings of the YSU A: Physical and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/uzeru750

zbMATH Keywords

natural deduction systemsequent systemFrege systemminimal tautologymonotonous and strongly monotonous systemproof linesproof sizes

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20)

Cites Work

• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• The relative efficiency of propositional proof systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS