The following pages link to Linear logic (Q579249):
Displaying 50 items.
- The MacNeille completions for residuated \(S\)-posets (Q2239394) (← links)
- Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- Introduction: Inferences and proofs (Q2288269) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Meta-entanglement (Q2300860) (← links)
- Generalized approximation of substructures in quantales by soft relations (Q2301033) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales (Q2310477) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- On injective constructions of \(S\)-semigroups (Q2329014) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- Term-generic logic (Q2339466) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Cut elimination for the unified logic (Q2367410) (← links)
- Generating semigroups for complete atomistic ortholattices (Q2367890) (← links)
- Uniqueness logic (Q2368939) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- The intuitionistic fragment of computability logic at the propositional level (Q2373697) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- On the scope of some formulas defining additive connectives in fuzzy logics (Q2386240) (← links)
- On the value of variables (Q2401632) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- The displacement calculus (Q2429994) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Modal MTL-algebras (Q2445422) (← links)
