scientific article; zbMATH DE number 1907195

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

Recommendations

Substructural logics: a primer
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
scientific article; zbMATH DE number 591901
Proof theory. Sequent calculi and related formalisms
Current trends in substructural logics

Cited in

(only showing first 100 items - show all)

SUBSTRUCTURAL INQUISITIVE LOGICS
Structural rules and algebraic properties of intersection types
The logics of strict-tolerant logic
Assertion, Denial and Non-classical Theories
Non-reflexivity and revenge
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
Open reading and free choice permission: a perspective in substructural logics
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
Current trends in substructural logics
Paraconsistent logic
scientific article; zbMATH DE number 5289966 (Why is no real title available?)
A relevant logic of questions
A positive information logic for inferential information
Logical consequence and the paradoxes
scientific article; zbMATH DE number 7204444 (Why is no real title available?)
A constructive negation for logics including \(\mathrm{TW}_+\)
Hyperintensionality in relevant logics
Substructural logic and partial correctness
Skolemization and Herbrand theorems for lattice-valued logics
Restricted arrow
Substructural Logics in Natural Deduction
Logical pluralism and semantic information
McCarthy variations in a modal key
Ternary relations and relevant semantics
Proof theory for functional modal logic
Which structural rules admit cut elimination? An algebraic criterion
Substructural logics with mingle
Variations on a theme of Curry
Constructive agents
Algebraic proof theory for substructural logics: cut-elimination and completions
A semantic hierarchy for intuitionistic logic
Join-completions of partially ordered algebras
Which Logic for the Radical Anti-realist?
Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
Disjunction property and complexity of substructural logics
Substructural fuzzy logics
scientific article; zbMATH DE number 591901 (Why is no real title available?)
A computational interpretation of conceptivism
Types as graphs: Continuations in type logical grammar
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
Prawitz, Proofs, and Meaning
Proof theory and algebra in logic
Metacompleteness of substructural logics
QUANTIFIED MODAL RELEVANT LOGICS
Substructural logics: a primer
A logic of separating modalities
A paraconsistent and substructural conditional logic
Geometric Models for Relevant Logics
Molecular biology meets logic: context-sensitiveness in focus
Proper semantics for substructural logics, from a stalker theoretic point of view
A basic quasi-Boolean logic of intuitionistic character
On split negation, strong negation, information, falsification, and verification
Neighbourhood semantics for modal relevant logics
Cut and pay
Some Comments and Replies
An Analytic Logic of Aggregation
Generalizing functional completeness in Belnap-Dunn logic
Paths to triviality
The distributivity on bi-approximation semantics
Curry's paradox and \(\omega \)-inconsistency
Investigations into a left-structural right-substructural sequent calculus
Relevant restricted quantification
Can a quantum computer run the von Neumann architecture?
ST, LP and tolerant metainferences
Neighbourhood semantics for quantified relevant logics
Possible worlds and resources: The semantics of \(\mathbf{BI}\)
On the ternary relation and conditionality
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
Associatively tied implications.
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
Propositional calculus under adjointness
Symmetric generalized Galois logics
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
LK, LJ, dual intuitionistic logic, and quantum logic
Disjunction and negation in information based semantics
Situated epistemic updates
On the algebraizability of the implicational fragment of abelian logic
Language-theoretic and finite relation models for the (full) Lambek calculus
Skolemization for Substructural Logics
An encompassing framework for paraconsistent logic programs
Varieties of Relevant S5
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
Conditionals, curry, and consequence: embracing deduction
Implication via spacetime
Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C
Hypersequent and display calculi -- a unified perspective
Inferentializing semantics
Connecting sequent calculi with Lorenzen-style dialogue games
Negation on the Australian plan
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
(Meta)inferential levels of entailment beyond the Tarskian paradigm
Topic theoretic invariantism
Extensions of Lambek calculi
Bi-simulating in bi-intuitionistic logic
On Sahlqvist formulas in relevant logic
Lambek calculus with conjugates
Stoic Sequent Logic and Proof Theory
Naive structure, contraction and paradox
The logic of tied implications. I: Properties, applications and representation
Issues on adjointness in multiple-valued logics

This page was built for publication:

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