Trees and diagrams of decomposition

DOI10.1007/BF00379763zbMath0579.03020MaRDI QIDQ1066888

Anita Wasilewska

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

and-treescontraction-like rulesstrong subformula propertytransformation of and/or proof search trees

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A uniform proof procedure for SCI tautologies
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS