Current trends in substructural logics

DOI10.1007/S10992-015-9346-XzbMATH Open1334.03017OpenAlexW2001724322MaRDI QIDQ266641FDOQ266641

Authors: Katalin Bimbó 

Publication date: 13 April 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-015-9346-x

Recommendations

• Substructural logics: a primer
• scientific article; zbMATH DE number 1907195
• scientific article; zbMATH DE number 1406811
• Substructural Logics in Natural Deduction
• Synthesized substructural logics
• Substructural logic and partial correctness
• scientific article
• scientific article; zbMATH DE number 1975400
• Combinatory logic and the semantics of substructural logics
• Substructural propositional dynamic logics

zbMATH Keywords

combinatory logicdecidabilitydisplay logiclinear logicrelational semanticsrelevance logicssequent calculisubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The semantics and proof theory of linear logic
• Substructural logics: a primer
• Title not available (Why is that?)
• Dual gaggle semantics for entailment
• \(TW_+\) and \(RW_+\) are decidable
• Decision problems for propositional linear logic
• Classical relevant logics. I
• Classical relevant logics. II
• The semantics of entailment. II
• The semantics of entailment. III
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Quantification and RM
• A topological representation theory for lattices
• Stone duality for lattices
• Four-valued logic
• Normal modal substructural logics with strong negation
• CE is not a conservative extension of E
• Fragments of R-mingle
• Display logic
• Kripke semantics for modal substructural logics
• Symmetric generalized Galois logics
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• Lambek calculus is NP-complete
• The decidability of the intensional fragment of classical linear logic
• Semantics for structurally free logics LC+
• Algebraic methods in philosophical logic
• Combinatory logic. Pure, applied and typed
• Kripke models for linear logic
• A completeness theorem in modal logic
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Four variables suffice
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinators and structurally free logic
• Substructural logics on display
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the decidability of implicational ticket entailment
• Ticket Entailment is decidable
• Title not available (Why is that?)
• The complexity of decision procedures in relevance logic II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Converse Ackermann property and constructive negation defined with a negation connective
• An alternative semantics for quantified relevant logic
• Title not available (Why is that?)
• A Decision Procedure For the System E_Ī of Entailment with Negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• General frames for relevant modal logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Title not available (Why is that?)
• The complexity of theorem-proving procedures
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• The completeness of the first-order functional calculus
• Linear logic
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Ternary relations and relevant semantics
• New consecution calculi for \(R^{t}_{\to}\)
• Admissibility of cut in LC with fixed point combinator
• Linear logic displayed

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Substructural logics: a primer
• Title not available (Why is that?)
• A Useful Substructural Logic
• On substructural logics preserving degrees of truth
• Title not available (Why is that?)
• Tools for the investigation of substructural and paraconsistent logics
• Advancements in resource-driven substructural defeasible logic
• An incompleteness theorem for modal relevant logics
• Identity in Mares-Goldblatt models for quantified relevant logic

This page was built for publication: Current trends in substructural logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q266641)