Pages that link to "Item:Q334998"
From MaRDI portal
The following pages link to Structural completeness in propositional logics of dependence (Q334998):
Displaying 14 items.
- Propositional logics of dependence (Q278765) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Propositional team logics (Q526967) (← links)
- A sound and complete axiomatization of embedded cross dependencies (Q759482) (← links)
- Structural completeness in fuzzy logics (Q1038654) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- (Q3758808) (← links)
- (Q4133631) (← links)
- Tarskian Structured Consequence Relations and Functional Completeness (Q4323834) (← links)
- Some Completeness Results for Propositional Conditional Logics (Q4834298) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)