The following pages link to Sara Negri (Q283114):
Displaying 50 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof-theoretical analysis of order relations (Q701722) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- The generalized Riemann integral on locally compact spaces (Q1295212) (← links)
- A normalizing system of natural deduction for intuitionistic linear logic (Q1407574) (← links)
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (Q1407600) (← links)
- Permutability of rules in lattice theory. (Q1771961) (← links)
- Sequent calculus proof theory of intuitionistic apartness and order relations (Q1818431) (← links)
- The continuum as a formal space (Q1818591) (← links)
- Varieties of linear calculi (Q1868337) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Uniform labelled calculi for conditional and counterfactual logics (Q2303592) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- Admissibility of structural rules for extensions of contraction-free sequent calculi (Q2743638) (← links)
- (Q2744125) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding (Q2804325) (← links)
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi (Q2851928) (← links)
- Countermodels from Sequent Calculi in Multi-Modal Logics (Q2986808) (← links)
- (Q3101107) (← links)
- Proof Analysis (Q3114184) (← links)
- Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics (Q3382812) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- (Q3536282) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus (Q3648725) (← links)
- (Q3838817) (← links)
- (Q4246953) (← links)
- (Q4247301) (← links)
- Cut Elimination in the Presence of Axioms (Q4254567) (← links)
- Sequent calculus in natural deduction style (Q4328835) (← links)
- Continuous domains as formal spaces (Q4331079) (← links)
- Tychonoff's theorem in the framework of formal topologies (Q4382478) (← links)
- (Q4552743) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- (Q4636042) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Proof systems for lattice theory (Q4818936) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- (Q4896531) (← links)
- Proof theory for quantified monotone modal logics (Q5014049) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
