Pages that link to "Item:Q5460206"

The following pages link to Sequent Calculi for Some Strict Implication Logics (Q5460206):

Displaying 19 items.

• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
• Sequent calculi for Visser's propositional logics (Q1409300) (← links)
• Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
• Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
• Substructural implicational logics including the relevant logic E (Q1970643) (← links)
• Sequent calculi for choice logics (Q2104520) (← links)
• A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
• A sequent calculus for a logic of contingencies (Q2446684) (← links)
• Two remarks on strictly implicative formulas in modal logic S3 (Q2751815) (← links)
• Dual-context sequent calculus and strict implication (Q2776812) (← links)
• Unified correspondence and proof theory for strict implication (Q2983401) (← links)
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296) (← links)
• Weak Logics with Strict Implication (Q3787970) (← links)
• (Q4678352) (← links)
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation (Q4796512) (← links)
• Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
• Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)