Publication:5483305
From MaRDI portal
zbMath1105.03011MaRDI QIDQ5483305
Publication date: 16 August 2006
logical consequence; intuitionistic logic; classical logic; denial; multiple conclusion calculus; anti-realist justification; inferentialist justification
03A05: Philosophical and critical aspects of logic and foundations
Related Items
First Degree Entailment, Symmetry and Paradox, Assertion, Denial and Non-classical Theories, EPISTEMIC MULTILATERAL LOGIC, Stipulation and Symmetrical Consequence, GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC, SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES, The logic of lexical connectives, The problem of rational knowledge, Restriction by noncontraction, On all strong Kleene generalizations of classical logic, Acceptance, inference, and the multiple-conclusion sequent, Logic and ontological pluralism, A cut-free sequent system for two-dimensional modal logic, and why it matters, Bilateralism in proof-theoretic semantics, Assertion, denial, content, and (logical) form, Why conclusions should remain single, General-elimination harmony and the meaning of the logical constants, A more general general proof theory, Reprint of: ``A more general general proof theory, Anything goes, A note on contraction-free logic for validity, Naive structure, contraction and paradox, Hopeful monsters: a note on multiple conclusions, Atomic ontology, Classical harmony and separability, Harmony in multiple-conclusion natural-deduction, Normal proofs, cut free derivations and structural rules, Negation on the Australian plan, Is `no' a force-indicator? Yes, sooner or later!, Bilateralism, trilateralism, multilateralism and poly-sequents, What is the logic of inference?, Meaning as an inferential role, Editorial introduction: substructural logics and metainferences, Deep \textsf{ST}, Supervaluations and the strict-tolerant hierarchy, Monstrous content and the bounds of discourse, The laws of thought and the laws of truth as two sides of one coin, The original sin of proof-theoretic semantics, On structural contraction and why it fails, Neutral free logic: motivation, proof theory and models, Which Logic for the Radical Anti-realist?, Free of Detachment: Logic, Rationality, and Gluts, A meta-logic of inference rules: Syntax, Bilattice Logics and Demi-Negation, ST, LP and Tolerant Metainferences, ‘Transitivity’ of Consequence Relations
