Pages that link to "Item:Q918952"
From MaRDI portal
The following pages link to A calculus for the common rules of \(\wedge\) and \(\vee\) (Q918952):
Displaying 6 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- Replacement in logic (Q1947034) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- AGGREGATION AND IDEMPOTENCE (Q5414137) (← links)
