Bilateralism in proof-theoretic semantics

DOI10.1007/S10992-012-9261-3zbMath1302.03016OpenAlexW1969249988MaRDI 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

harmonydualityproof-theoretic semanticsbilateralism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (11)

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

This page was built for publication: Bilateralism in proof-theoretic semantics