zbMath1025.03002MaRDI QIDQ1405890
Francesco Paoli
Publication date: 8 September 2003
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Current trends in substructural logics ⋮
The Archimedean property: new horizons and perspectives ⋮
Analytic tableaux for non-deterministic semantics ⋮
On When a Disjunction Is Informative ⋮
CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮
Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮
Contraction, infinitary quantifiers, and omega paradoxes ⋮
BILATERAL RELEVANT LOGIC ⋮
Substructural epistemic logics ⋮
Judgement aggregation in non-classical logics ⋮
A simple sequent calculus for Angell's logic of analytic containment ⋮
A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮
Instability and contraction. \textit{Méditations hégéliennes}. I ⋮
Editorial introduction: substructural logics and metainferences ⋮
The nature of entailment: an informational approach ⋮
(Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮
Towards substructural property-based testing ⋮
Reflecting rules: a note on generalizing the deduction theorem ⋮
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮
The original sin of proof-theoretic semantics ⋮
Structural Rules in Natural Deduction with Alternatives ⋮
On structural contraction and why it fails ⋮
Minimal varieties of involutive residuated lattices ⋮
Quine and Slater on paraconsistency and deviance ⋮
Anything goes ⋮
Naive structure, contraction and paradox ⋮
SUBSTRUCTURAL INQUISITIVE LOGICS ⋮
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮
Logics of left variable inclusion and Płonka sums of matrices ⋮
Logical consequence and the paradoxes ⋮
Informational semantics as a third alternative? ⋮
On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮
Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮
Structural weakening and paradoxes ⋮
NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮
Strategic reasoning with a bounded number of resources: the quest for tractability ⋮
A Paraconsistent and Substructural Conditional Logic ⋮
WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮
Join-completions of partially ordered algebras ⋮
Hypersequent and display calculi -- a unified perspective ⋮
BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮
LK, LJ, dual intuitionistic logic, and quantum logic ⋮
MV-algebras and quantum computation ⋮
\(\bigstar\)-autonomous lattices and fuzzy sets ⋮
\(\bigstar\)-autonomous lattices ⋮
Variations on a theme of Curry ⋮
From natural to formal language: a case for logical pluralism ⋮
Investigations into a left-structural right-substructural sequent calculus ⋮
A non commutative generalization of *-autonomous lattices ⋮
Hopeful monsters: a note on multiple conclusions ⋮
Validity, dialetheism and self-reference ⋮
A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮
Residuated structures and orthomodular lattices ⋮
An analytic calculus for the intuitionistic logic of proofs ⋮
Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮
The logics of strict-tolerant logic ⋮
Defining formal explanation in classical logic by substructural derivability
This page was built for publication: Substructural logics: a primer
