Pages that link to "Item:Q1242883"
From MaRDI portal
The following pages link to A shortest single axiom for the classical equivalential calculus (Q1242883):
Displayed 8 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- The two-property and condensed detachment (Q799664) (← links)
- Meeting the challenge of fifty years of logic (Q911807) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- Towards finding longer proofs (Q2142073) (← links)