Pages that link to "Item:Q1106836"

The following pages link to The semantics and proof theory of linear logic (Q1106836):

Displaying 50 items.

• The logics of strict-tolerant logic (Q253131) (← links)
• Current trends in substructural logics (Q266641) (← links)
• What is relevance logic? (Q392272) (← links)
• Logical consequence and the paradoxes (Q484113) (← links)
• External curries (Q496329) (← links)
• Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
• Linear logic (Q579249) (← links)
• Contextual deduction theorems (Q647412) (← links)
• Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
• Simple consequence relations (Q809992) (← links)
• Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
• Axioms and models of linear logic (Q915719) (← links)
• Linear logic displayed (Q918548) (← links)
• Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
• Language in action (Q1177646) (← links)
• Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717) (← links)
• A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
• Decision problems for propositional linear logic (Q1192352) (← links)
• Modal translations in substructural logics (Q1198409) (← links)
• Finite games for a predicate logic without contractions (Q1314388) (← links)
• Informational interpretation of substructural propositional logics (Q1322438) (← links)
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
• Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
• Abstract argumentation systems (Q1402750) (← links)
• Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 (Q1586203) (← links)
• Fragments of R-mingle (Q1770601) (← links)
• \(\bigstar\)-autonomous lattices (Q1780899) (← links)
• Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
• A linear conservative extension of Zermelo-Fraenkel set theory (Q1919983) (← links)
• A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
• Natural deduction bottom up (Q2236507) (← links)
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
• Formalization of linear space theory in the higher-order logic proving system (Q2375439) (← links)
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
• On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
• On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
• The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
• A structural approach to reversible computation (Q2581367) (← links)
• Deep \textsf{ST} (Q2679574) (← links)
• The original sin of proof-theoretic semantics (Q2690170) (← links)
• A simplified account of the metatheory of linear LF (Q2844807) (← links)
• On linear Brouwerian logics (Q2922494) (← links)
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
• Linear Logic and Strong Normalization (Q2958373) (← links)
• Kripke models for linear logic (Q3138010) (← links)
• What is a Paraconsistent Logic? (Q3305335) (← links)
• (Q3367300) (← links)
• Correspondences between gentzen and hilbert systems (Q3410681) (← links)
• Representable idempotent commutative residuated lattices (Q3443137) (← links)