scientific article; zbMATH DE number 1907195

Publication date: 7 May 2003

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

relational semantics decidability Lambek calculus linear logic natural deduction relevant logic substructural logics cut-elimination

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (only showing first 100 items - show all)

Current trends in substructural logics ⋮ Paraconsistent logic ⋮ Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ A relevant logic of questions ⋮ A positive information logic for inferential information ⋮ A logic of separating modalities ⋮ Paths to triviality ⋮ Restricted arrow ⋮ The distributivity on bi-approximation semantics ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Neighbourhood semantics for quantified relevant logics ⋮ Which Logic for the Radical Anti-realist? ⋮ Game Semantics and the Manifestation Thesis ⋮ Disjunction and negation in information based semantics ⋮ Situated epistemic updates ⋮ Cut and pay ⋮ Relevant restricted quantification ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ What is a relevant connective? ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Curry's paradox and \(\omega \)-inconsistency ⋮ On the universality of atomic and molecular logics via protologics ⋮ Implication via spacetime ⋮ Ternary relations and relevant semantics ⋮ On Sahlqvist formulas in relevant logic ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Symmetric generalized Galois logics ⋮ The concept of relevance and the logic diagram tradition ⋮ A new conditional for naive truth theory ⋮ Metacompleteness of substructural logics ⋮ Constructive agents ⋮ Eliminating disjunctions by disjunction elimination ⋮ Editorial introduction: substructural logics and metainferences ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ On good EQ-algebras ⋮ Logics of synonymy ⋮ On involutive nonassociative Lambek calculus ⋮ \(\mathrm{NL}_\lambda\) as the logic of scope and movement ⋮ What is the logic of inference? ⋮ Neighbourhood semantics for modal relevant logics ⋮ On structural contraction and why it fails ⋮ Non-Boolean classical relevant logics. I ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ Restall's proof-theoretic pluralism and relevance logic ⋮ Proof theory for functional modal logic ⋮ Anything goes ⋮ Fusion and confusion ⋮ Naive structure, contraction and paradox ⋮ On the ternary relation and conditionality ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Logical consequence and the paradoxes ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ Logics with disjunction and proof by cases ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Sufficient conditions for cut elimination with complexity analysis ⋮ Logical pluralism and semantic information ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ ST, LP and Tolerant Metainferences ⋮ Some Comments and Replies ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Disquotation and infinite conjunctions ⋮ Conditionals and consequences ⋮ Join-completions of partially ordered algebras ⋮ The logic of finite order ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ Normal proofs, cut free derivations and structural rules ⋮ Hypersequent and display calculi -- a unified perspective ⋮ McCarthy variations in a modal key ⋮ Disjunction property and complexity of substructural logics ⋮ Inferentializing semantics ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ An encompassing framework for paraconsistent logic programs ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Variations on a theme of Curry ⋮ Issues on adjointness in multiple-valued logics ⋮ The finite embeddability property for residuated groupoids. ⋮ Reasoning with ambiguity ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Types as graphs: Continuations in type logical grammar ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Negation on the Australian plan ⋮ Lambek calculus with conjugates ⋮ Associatively tied implications. ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Notes on stratified semantics ⋮ Non-reflexivity and revenge ⋮ Subminimal negation on the Australian plan ⋮ A small set of axioms for residuated logic ⋮ The logics of strict-tolerant logic ⋮ Propositional calculus under adjointness ⋮ Towards a semantic characterization of cut-elimination

This page was built for publication: