The following pages link to (Q3987175):
Displaying 16 items.
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Curry's paradox in contractionless constructive logic (Q1914375) (← links)
- Grounding, quantifiers, and paradoxes (Q2056222) (← links)
- Implication via spacetime (Q2658280) (← links)
- Logic without gaps or gluts. How to solve the paradoxes without sacrificing classical logic (Q2668483) (← links)
- Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743) (← links)
- Trivial Dialetheism and the Logic of Paradox (Q2987757) (← links)
- (Q3216633) (← links)
- (Q3535124) (← links)
- (Q3973194) (← links)
- (Q4530736) (← links)
- (Q4919780) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Basic predicate calculus (Q5937805) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)