The following pages link to (Q5339292):
Displayed 10 items.
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- A Kripke-style semantics for R-mingle using a binary accessibility relation (Q1226480) (← links)
- Intuitionistic logic with strong negation (Q1241438) (← links)
- On logics with coimplication (Q1272827) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- (Q5565082) (← links)
- Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik (Q5641136) (← links)