Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic

DOI10.1016/0020-0190(86)90146-8zbMath0615.68060OpenAlexW2064239695MaRDI QIDQ1820590

Marta Cialdea Mayer

Publication date: 1986

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90146-8

zbMATH Keywords

modal systemresolution procedure for propositional intuitionistic logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Programs as proofs: A synopsis
• A simple deduction method for modal logic
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic