Current trends in substructural logics

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

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

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

• 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?)
• 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?)
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics and proof theory of linear logic
• Substructural logics: a primer
• 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
• Kripke models for linear logic
• A completeness theorem in modal logic
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• The undecidability of entailment and relevant implication
• Combinators and structurally free logic
• Substructural logics on display
• On the decidability of implicational ticket entailment
• Ticket Entailment is decidable
• The complexity of decision procedures in relevance logic II
• Converse Ackermann property and constructive negation defined with a negation connective
• An alternative semantics for quantified relevant logic
• A Decision Procedure For the System E_Ī of Entailment with Negation
• General frames for relevant modal logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The complexity of theorem-proving procedures
• 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 (5)

• Title not available (Why is that?)
• A Useful Substructural Logic
• Advancements in resource-driven substructural defeasible logic
• An incompleteness theorem for modal relevant logics
• Identity in Mares-Goldblatt models for quantified relevant logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Substructural logics: a primer 👍 👎
• Substructural propositional dynamic logics 👍 👎
• Combinatory logic and the semantics of substructural logics 👍 👎
• Substructural logic and partial correctness 👍 👎
• Synthesized substructural logics 👍 👎
• Substructural Logics in Natural Deduction 👍 👎

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)