Pages that link to "Item:Q1194246"
From MaRDI portal
The following pages link to Complexity of resolution proofs and function introduction (Q1194246):
Displaying 6 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- On the compressibility of finite languages and formal proofs (Q1706152) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Planning with Effectively Propositional Logic (Q4916083) (← links)
- (Q5015283) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
