Pages that link to "Item:Q1928489"
From MaRDI portal
The following pages link to An axiomatisation of a pure calculus of names (Q1928489):
Displaying 6 items.
- Pure modal logic of names and tableau systems (Q1756600) (← links)
- A congruence format for name-passing calculi (Q2852102) (← links)
- Ontology as a Natural Extension of Predicate Calculus with Identity Equipped with Description (Q3486551) (← links)
- (Q4608683) (← links)
- The Misnamings of Playfair’s Axiom (Q4609486) (← links)
- (Q4925865) (← links)