scientific article; zbMATH DE number 1406811
From MaRDI portal
Publication:4940727
zbMath0941.03522MaRDI QIDQ4940727
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicalgebraic semanticssubstructural logicKripke semanticsquantalespretopologiesphase structures
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (44)
Linear Logic Properly Displayed ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Algebraic study of two deductive systems of relevance logic ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Some lattice models of bilinear logic ⋮ Non-commutative logical algebras and algebraic quantales ⋮ A comparison between monoidal and substructural logics ⋮ A dual equivalence for cofinal quantum B-algebras ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Topological duality and algebraic completions ⋮ Cover systems for the modalities of linear logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ On varieties of biresiduation algebras ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Quantum B-algebras ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Monoidal logics: completeness and classical systems ⋮ Normal modal substructural logics with strong negation ⋮ Infinitary action logic: complexity, models and grammars ⋮ Logical consequence and the paradoxes ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Type logics and pregroups ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Conserving involution in residuated structures ⋮ Axiomatization of crisp Gödel modal logic ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ Algebraic and Categorical Aspects of Quantales ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Proof-search in type-theoretic languages: An introduction ⋮ A finite model property for RMImin ⋮ Semiconic idempotent residuated structures ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR ⋮ Towards a semantic characterization of cut-elimination
This page was built for publication:
