✦ LIBER ✦

A Tutorial on Stålmarck's Proof Procedure for Propositional Logic

✍ Scribed by Mary Sheeran; Gunnar Stålmarck

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on Gentzen's Decision Procedure f

✍ Kosta Došen 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB 👁 1 views

An efficient procedure for theorem provi

✍ Wen-Tsuen Chen; Ming-Yi Fang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 662 KB

A note on partial postulate sets for pro

✍ STIG KANGER 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 209 KB

On the validity of propositional logic a

✍ Charles J. Brainerd 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 617 KB

A constant time algorithm for theorem pr

✍ B. Pradeep; C. Siva Ram Murthy 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 448 KB

A complete proof on the solution procedu

✍ Kun-Jen Chung 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 225 KB