Pages that link to "Item:Q3250595"
From MaRDI portal
The following pages link to A Warning About Translating Axioms (Q3250595):
Displaying 6 items.
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- The logic of non-contingency (Q1903586) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)