scientific article; zbMATH DE number 786485

Publication date: 18 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

proof theory semantics intuitionistic logic classical logic connectives proof-nets introduction to linear logic linear sequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (73)

How the structure of system problems influences system behavior ⋮ Linear Logic Properly Displayed ⋮ Softness of MALL proof-structures and a correctness criterion with Mix ⋮ Unnamed Item ⋮ Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) ⋮ Semantic data modelling using linear logic ⋮ Which Logic for the Radical Anti-realist? ⋮ A micrological study of negation ⋮ Interaction combinators ⋮ Linear logic in normed cones: probabilistic coherence spaces and beyond ⋮ A categorical semantics for polarized MALL ⋮ RASP and ASP as a fragment of linear logic ⋮ Modeling linear logic with implicit functions ⋮ Judgement aggregation in non-classical logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Experiments in linear natural deduction ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Categorical approaches to non-commutative fuzzy logic ⋮ Light linear logics with controlled weakening: expressibility, confluent strong normalization ⋮ Glueing and orthogonality for models of linear logic ⋮ Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives ⋮ Handsome proof-nets: Perfect matchings and cographs ⋮ Making first order linear logic a generating grammar ⋮ Coherent differentiation ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Cover systems for the modalities of linear logic ⋮ Linear logic in computer science ⋮ On structural contraction and why it fails ⋮ Quine and Slater on paraconsistency and deviance ⋮ Adding logic to the toolbox of molecular biology ⋮ On Banach spaces of sequences and free linear logic exponential modality ⋮ Modular, higher order cardinality analysis in theory and practice ⋮ The Free Exponential Modality of Probabilistic Coherence Spaces ⋮ Unnamed Item ⋮ On phase semantics and denotational semantics in multiplicative-additive linear logic ⋮ Proof nets for classical logic ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Computational ludics ⋮ Linear logic as a tool for planning under temporal uncertainty ⋮ The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable ⋮ Collaborative planning with confidentiality ⋮ On phase semantics and denotational semantics: The exponentials ⋮ Softness of hypercoherences and MALL full completeness ⋮ Coherent phase spaces. Semiclassical semantics ⋮ Parsing MELL proof nets ⋮ Geometrical semantics for linear logic (multiplicative fragment) ⋮ Unnamed Item ⋮ Light Linear Logic with Controlled Weakening ⋮ Encoding Hamiltonian circuits into multiplicative linear logic ⋮ From natural to formal language: a case for logical pluralism ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Noncontractive classical logic ⋮ A geometrical procedure for computing relaxation ⋮ Plans, actions and dialogues using linear logic ⋮ True Concurrency of Deep Inference Proofs ⋮ MV-algebras embedded in a CL-algebra ⋮ Stratified coherence spaces: A denotational semantics for light linear logic ⋮ On the unification of classical, intuitionistic and affine logics ⋮ Connection methods in linear logic and proof nets construction ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Polar Type Inference with Intersection Types and ω ⋮ Security protocols: from linear to classical logic by abstract interpretation ⋮ $\mathbb{Z}$-modules and full completeness of multiplicative linear logic ⋮ Proof diagrams for multiplicative linear logic: syntax and semantics ⋮ Parallel and serial hypercoherences ⋮ Interaction nets for linear logic ⋮ Sequential algorithms and strongly stable functions ⋮ Proofs, Reasoning and the Metamorphosis of Logic ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

This page was built for publication: