The following pages link to On Axioms and Rexpansions (Q5020163):
Displaying 10 items.
- On the axiom of union (Q964450) (← links)
- On conforming axiomatics (Q1570915) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- On a modification of axioms of general relations (Q2760948) (← links)
- A Warning About Translating Axioms (Q3250595) (← links)
- (Q3762308) (← links)
- Extensions of the Axiom of Determinacy (Q6059118) (← links)
- On axioms and rexpansions (Q6360301) (← links)