scientific article
From MaRDI portal
Publication:2715524
zbMath0981.03007MaRDI QIDQ2715524
Publication date: 26 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (15)
Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ EPISTEMIC MULTILATERAL LOGIC ⋮ Some comments on Ian Rumfitt's bilateralism ⋮ Identity and harmony and modality ⋮ Meta-inferences and supervaluationism ⋮ Unified deductive systems: an outline ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Core Type Theory ⋮ Harmony and Normalisation in Bilateral Logic ⋮ Negation on the Australian plan ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Classical harmony and separability ⋮ Emptiness and Discharge in Sequent Calculus and Natural Deduction
This page was built for publication:
