Pages that link to "Item:Q2616497"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schließen. I. (Q2616497):
Displaying 11 items.
- Logical constants and arithmetical forms (Q6535320) (← links)
- Consequence relations and data science: from Galois mappings to data interpretation (Q6577633) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- The validity of inference and argument (Q6612867) (← links)
- Rule-elimination theorems (Q6633055) (← links)
- On three-valued presentations of classical logic (Q6638231) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)
- The structure of paradoxes in a logic of sentential operators (Q6655116) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
