The following pages link to (Q4304462):
Displaying 16 items.
- Some axioms for constructive analysis (Q453178) (← links)
- FOIL axiomatized (Q865042) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- On conforming axiomatics (Q1570915) (← links)
- Two roads to the successor axiom (Q2054138) (← links)
- On a modification of axioms of general relations (Q2760948) (← links)
- Axiomatization and the antimean function on paths (Q2931923) (← links)
- Axiom Pinpointing in General Tableaux (Q3406682) (← links)
- (Q3568115) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- (Q4904210) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them (Q5350184) (← links)
- Axiomatisability Problems for <i>S</i> -Systems (Q5903562) (← links)
- Extensions of the Axiom of Determinacy (Q6059118) (← links)