scientific article; zbMATH DE number 5046781

Publication date: 16 August 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

logical consequence intuitionistic logic classical logic denial multiple conclusion calculus anti-realist justification inferentialist justification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (54)

The problem of rational knowledge ⋮ Restriction by noncontraction ⋮ On all strong Kleene generalizations of classical logic ⋮ Which Logic for the Radical Anti-realist? ⋮ ‘Transitivity’ of Consequence Relations ⋮ EPISTEMIC MULTILATERAL LOGIC ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ General-elimination harmony and the meaning of the logical constants ⋮ Acceptance, inference, and the multiple-conclusion sequent ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ The logic of lexical connectives ⋮ A more general general proof theory ⋮ Editorial introduction: substructural logics and metainferences ⋮ Deep \textsf{ST} ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Bilateralism, trilateralism, multilateralism and poly-sequents ⋮ The nature of entailment: an informational approach ⋮ Proof-theoretic pluralism ⋮ Reprint of: ``A more general general proof theory ⋮ Logical multilateralism ⋮ What is the logic of inference? ⋮ 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 ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Supposition: A Problem for Bilateralism ⋮ Bilateral Rules as Complex Rules ⋮ Logic and ontological pluralism ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Meaning as an inferential role ⋮ On structural contraction and why it fails ⋮ Neutral free logic: motivation, proof theory and models ⋮ Anything goes ⋮ A note on contraction-free logic for validity ⋮ Naive structure, contraction and paradox ⋮ A cut-free sequent system for two-dimensional modal logic, and why it matters ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ A meta-logic of inference rules: Syntax ⋮ Bilateralism in proof-theoretic semantics ⋮ Bilattice Logics and Demi-Negation ⋮ ST, LP and Tolerant Metainferences ⋮ Assertion, denial, content, and (logical) form ⋮ Assertion, Denial and Non-classical Theories ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Normal proofs, cut free derivations and structural rules ⋮ Why conclusions should remain single ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Negation on the Australian plan ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Atomic ontology ⋮ Classical harmony and separability ⋮ Stipulation and Symmetrical Consequence

This page was built for publication: