The following pages link to (Q4318839):
Displayed 19 items.
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Logic and natural selection (Q1931350) (← links)
- Why the logical hexagon? (Q1940908) (← links)
- The modality and non-extensionality of the quantifiers (Q2053345) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Logical geometries and information in the square of oppositions (Q2258819) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators (Q3299518) (← links)
- Popper's Notion of Duality and His Theory of Negations (Q4608217) (← links)
- Spatially modulated two- and three-component Rabi-coupled Gross–Pitaevskii systems (Q5059037) (← links)
- The Context of Inference (Q5208107) (← links)
- Sellars, Second-order Quantification, and Ontological Commitment (Q5208115) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)