Multiple conclusions
From MaRDI portal
Recommendations
Cited in
(67)- Assertion, Denial and Non-classical Theories
- The problem of rational knowledge
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Why conclusions should remain single
- General-elimination harmony and the meaning of the logical constants
- Which Logic for the Radical Anti-realist?
- Logic and ontological pluralism
- A more general general proof theory
- Restriction by noncontraction
- A meta-logic of inference rules: syntax
- On all strong Kleene generalizations of classical logic
- ``Transitivity of consequence relations
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- Meaning as an inferential role
- Tennant on multiple conclusions
- ST, LP and tolerant metainferences
- The logic of lexical connectives
- Harmony in multiple-conclusion natural-deduction
- A cut-free sequent system for two-dimensional modal logic, and why it matters
- State-based modal logics for free choice
- Semantic information and the complexity of deduction
- Truth and falsity in communication: assertion, denial, and interpretation
- A note on contraction-free logic for validity
- Negation on the Australian plan
- Logical multilateralism
- Deep \textsf{ST}
- Naive structure, contraction and paradox
- The nature of entailment: an informational approach
- Hopeful monsters: a note on multiple conclusions
- Atomic ontology
- Classical harmony and separability
- Bilateral Rules as Complex Rules
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Structural Rules in Natural Deduction with Alternatives
- Supposition: A Problem for Bilateralism
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
- Stipulation and symmetrical consequence
- Bilateralism in proof-theoretic semantics
- Categoricity problem for LP and K3
- First degree entailment, symmetry and paradox
- Is `no' a force-indicator? Yes, sooner or later!
- Editorial introduction: substructural logics and metainferences
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
- Reading conclusions conjunctively
- Bilattice logics and demi-negation
- Monstrous content and the bounds of discourse
- The laws of thought and the laws of truth as two sides of one coin
- Proof-theoretic pluralism
- Supervaluations and the strict-tolerant hierarchy
- Reprint of: ``A more general general proof theory
- Care-theoretic semantics
- Bi-connexive logic, bilateralism, and negation inconsistency
- EPISTEMIC MULTILATERAL LOGIC
- On multiple impact
- What is the logic of inference?
- Acceptance, inference, and the multiple-conclusion sequent
- Free of Detachment: Logic, Rationality, and Gluts
- On structural contraction and why it fails
- Neutral free logic: motivation, proof theory and models
- Assertion, denial, content, and (logical) form
- Bilateralism, trilateralism, multilateralism and poly-sequents
- Anything goes
- The original sin of proof-theoretic semantics
- Normal proofs, cut free derivations and structural rules
- Useful conclusions from surprising results
- Proofs with star and perp
This page was built for publication: Multiple conclusions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483305)
