Bilateralism in proof-theoretic semantics

DOI10.1007/S10992-012-9261-3MaRDI QIDQ484102zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• A note on harmony
• scientific article; zbMATH DE number 7599931
• Some comments on Ian Rumfitt's bilateralism
• Bilateralism based on corrective denial

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• A natural extension of natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• A note on harmony
• Assertion, Denial and Non-classical Theories
• Is `no' a force-indicator? Sometimes, possibly
• Multiple conclusions
• Natural deduction with general elimination rules
• Proof-theoretic semantic values for logical operators
• Proof-theoretic semantics for a natural language fragment
• Rejection and valuations
• Rules for subatomic derivation
• The revival of rejective negation

Cited in

(20)

• FRACTIONAL-VALUED MODAL LOGIC
• scientific article; zbMATH DE number 1441841 (Why is no real title available?)
• Bilateralism based on corrective denial
• Proof search on bilateralist judgments over non-deterministic semantics
• Bilateral inversion principles
• A note on synonymy in proof-theoretic semantics
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• A general schema for bilateral proof rules
• Bilateral Rules as Complex Rules
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Fractional-Valued Modal Logic and Soft Bilateralism
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
• Supposition: A Problem for Bilateralism
• Logical multilateralism
• Harmony in multiple-conclusion natural-deduction
• Bilateralism, trilateralism, multilateralism and poly-sequents
• Bi-inductive structural semantics
• Anything goes
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES

Describes a project that uses

Uses Software

• MiniML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484102)