Pages that link to "Item:Q661286"

The following pages link to Proof analysis in intermediate logics (Q661286):

Displaying 31 items.

• Labeled sequent calculus for justification logics (Q331048) (← links)
• Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
• Proof-theoretic analysis by iterated reflection (Q1407608) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• Disentangling structural connectives or life without display property (Q2421521) (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
• The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
• The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
• GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
• Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
• Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
• Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
• CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
• (Q4558785) (← links)
• A comparison between monoidal and substructural logics (Q4586159) (← links)
• Geometric Rules in Infinitary Logic (Q5020172) (← links)
• Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
• Meaning in Use (Q5213613) (← links)
• Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
• Monoidal logics: completeness and classical systems (Q5379321) (← links)
• An ecumenical notion of entailment (Q6067097) (← links)
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
• A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
• Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)