Bilateralism in proof-theoretic semantics

DOI10.1007/s10992-012-9261-3zbMath1302.03016MaRDI QIDQ484102

Nissim Francez

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9261-3

zbMATH Keywords

harmony; duality; proof-theoretic semantics; bilateralism

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES, Logical multilateralism, FRACTIONAL-VALUED MODAL LOGIC, Introduction: Bilateralism and Proof-Theoretic Semantics (Part I), Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic, Introduction: Bilateralism and Proof-Theoretic Semantics (Part II), Fractional-Valued Modal Logic and Soft Bilateralism, Supposition: A Problem for Bilateralism, Bilateral Rules as Complex Rules, Anything goes, Harmony in multiple-conclusion natural-deduction

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• A note on harmony
• Natural deduction with general elimination rules
• A normalizing system of natural deduction for intuitionistic linear logic
• The revival of rejective negation
• A judgmental reconstruction of modal logic
• RULES FOR SUBATOMIC DERIVATION
• PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
• A modal analysis of staged computation
• Proof-Theoretic Semantics for a Natural Language Fragment
• A natural extension of natural deduction
• Rejection and valuations
• Assertion, Denial and Non-classical Theories
• Is 'no' a force-indicator? Sometimes, possibly