scientific article; zbMATH DE number 5263146
From MaRDI portal
Publication:5457385
zbMath1167.03038MaRDI QIDQ5457385
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdecidabilitysubstructural logicsintuitionistic logicprovability logicproof searchintermediate logicsgeometric axiomslabelled sequent calculiproof theory of nonclassical logics
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)
Related Items
A comparison between monoidal and substructural logics, The Church-Fitch knowability paradox in the light of structural proof theory, Monoidal logics: completeness and classical systems, Proof analysis in intermediate logics, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics, Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations