The following pages link to Substructural logics: a primer (Q1405890):
Displaying 50 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Current trends in substructural logics (Q266641) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Informational semantics as a third alternative? (Q488328) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- The Archimedean property: new horizons and perspectives (Q1630814) (← links)
- Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Anything goes (Q1708461) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Validity, dialetheism and self-reference (Q2054126) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Defining formal explanation in classical logic by substructural derivability (Q2117787) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- From natural to formal language: a case for logical pluralism (Q2288262) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- Instability and contraction. \textit{Méditations hégéliennes}. I (Q2420717) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- MV-algebras and quantum computation (Q2498366) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- On When a Disjunction Is Informative (Q2908754) (← links)
- BILATERAL RELEVANT LOGIC (Q2940874) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Open Reading and Free Choice Permission: A Perspective in Substructural Logics (Q3305689) (← links)
- A non commutative generalization of *-autonomous lattices (Q3624914) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- A Paraconsistent and Substructural Conditional Logic (Q4912991) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE (Q5176164) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
