Pages that link to "Item:Q1106836"
From MaRDI portal
The following pages link to The semantics and proof theory of linear logic (Q1106836):
Displaying 40 items.
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Some Syntactical Observations on Linear Logic (Q3986870) (← links)
- Logic and Exceptions: A Few Remarks (Q4013250) (← links)
- (Q4222842) (← links)
- (Q4222846) (← links)
- Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Fibred tableaux for multi-implication logics (Q4645223) (← links)
- (Q4699356) (← links)
- (Q4842966) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- Gentzenizations of relevant logics without distribution. I (Q4894717) (← links)
- (Q5014808) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- (Q5020970) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Effective Finite-Valued Approximations of General Propositional Logics (Q5452176) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- A syntax for linear logic (Q5890063) (← links)
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility (Q5957421) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)
- Editorial introduction (Q6642818) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
