Pages that link to "Item:Q687151"
From MaRDI portal
The following pages link to Automated theorem proving for Łukasiewicz logics (Q687151):
Displaying 8 items.
- Tableaux for Łukasiewicz infinite-valued logic (Q1868241) (← links)
- More proofs of an axiom of Łukasiewicz (Q1869612) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343) (← links)
- Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques (Q3682397) (← links)
- (Q4332419) (← links)
- Computer Science Logic (Q5311248) (← links)
- Computer Science Logic (Q5311280) (← links)