Current trends in substructural logics
From MaRDI portal
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; zbMATH DE number 5289966
- scientific article; zbMATH DE number 1975400
- Combinatory logic and the semantics of substructural logics
- Substructural propositional dynamic logics
Cites work
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3525100 (Why is no real title available?)
- scientific article; zbMATH DE number 549966 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1028818 (Why is no real title available?)
- scientific article; zbMATH DE number 2070197 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 4117898 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 1406808 (Why is no real title available?)
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3260754 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 966898 (Why is no real title available?)
- A Decision Procedure For the System EĪ of Entailment with Negation
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- A completeness theorem in modal logic
- A topological representation theory for lattices
- Admissibility of cut in LC with fixed point combinator
- Algebraic methods in philosophical logic
- An alternative semantics for quantified relevant logic
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- CE is not a conservative extension of E
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- Classical relevant logics. I
- Classical relevant logics. II
- Combinators and structurally free logic
- Combinatory logic. Pure, applied and typed
- Converse Ackermann property and constructive negation defined with a negation connective
- Decision problems for propositional linear logic
- Display logic
- Dual gaggle semantics for entailment
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Four variables suffice
- Four-valued logic
- Fragments of R-mingle
- General frames for relevant modal logics
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Kripke models for linear logic
- Kripke semantics for modal substructural logics
- Lambek calculus is NP-complete
- Linear logic
- Linear logic displayed
- New consecution calculi for \(R^{t}_{\to}\)
- Normal modal substructural logics with strong negation
- On the decidability of implicational ticket entailment
- Quantification and RM
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Semantics for structurally free logics LC+
- Stone duality for lattices
- Substructural logics on display
- Substructural logics: a primer
- Symmetric generalized Galois logics
- Ternary relations and relevant semantics
- The Theory of Representation for Boolean Algebras
- The completeness of the first-order functional calculus
- The complexity of decision procedures in relevance logic II
- The complexity of theorem-proving procedures
- The decidability of the intensional fragment of classical linear logic
- The semantics and proof theory of linear logic
- The semantics of entailment. II
- The semantics of entailment. III
- The undecidability of entailment and relevant implication
- Ticket Entailment is decidable
- Topological representations of distributive lattices and Brouwerian logics
- \(TW_+\) and \(RW_+\) are decidable
Cited in
(16)- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 1975400 (Why is no real title available?)
- scientific article; zbMATH DE number 591901 (Why is no real title available?)
- Substructural logics: a primer
- scientific article; zbMATH DE number 2079266 (Why is no real title available?)
- Metainferential duality
- A Useful Substructural Logic
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- On substructural logics preserving degrees of truth
- scientific article; zbMATH DE number 1523044 (Why is no real title available?)
- Tools for the investigation of substructural and paraconsistent logics
- Conditional normative reasoning with substructural logics
- Advancements in resource-driven substructural defeasible logic
- An incompleteness theorem for modal relevant logics
- Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
- 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)
