Pages that link to "Item:Q583197"
From MaRDI portal
The following pages link to Some results on intermediate constructive logics (Q583197):
Displaying 27 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)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← 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)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← 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)
- On the concurrent computational content of intermediate logics (Q1989344) (← 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 the rules of intermediate logics (Q2501166) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- (Q3340840) (← links)
- Diagram Construction in Intuitionistic Logic (Q3424136) (← links)
- (Q3475248) (← links)
- (Q3688377) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)