Pages that link to "Item:Q583197"
From MaRDI portal
The following pages link to Some results on intermediate constructive logics (Q583197):
Displaying 17 items.
- A generalization of inquisitive semantics (Q312497) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Inquisitive logic (Q626493) (← links)
- Some modifications of Carnap's modal logic (Q694488) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- On representation of finite pseudo-Boolean algebras and one of its applications (Q1206268) (← links)
- Propositional lax logic (Q1368378) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
