Pages that link to "Item:Q3787970"
From MaRDI portal
The following pages link to Weak Logics with Strict Implication (Q3787970):
Displaying 30 items.
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- Relevant implication and the weak deduction theorem (Q1103605) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- A predicate logical extension of a subintuitionistic propositional logic (Q1868252) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Relevant implication and the case for a weaker logic (Q1914376) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Implication via spacetime (Q2658280) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- (Q3477997) (← links)
- On a theory of weak implications (Q3794150) (← links)
- (Q4608315) (← links)
- Weak subintuitionistic logics (Q4644479) (← links)
- Routely-Meyer Semantics for some weak Boolean Logics, and some Translations (Q4664019) (← links)
- (Q4678352) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Sequent Calculi for Some Strict Implication Logics (Q5460206) (← links)
- Angell and McCall meet Wansing (Q6127187) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)