Bilateralism in proof-theoretic semantics

DOI10.1007/S10992-012-9261-3zbMATH Open1302.03016OpenAlexW1969249988MaRDI QIDQ484102FDOQ484102

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

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

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)

Cites Work

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

Cited In (17)

• Title not available (Why is that?)
• Bi-inductive structural semantics
• Proof search on bilateralist judgments over non-deterministic semantics
• FRACTIONAL-VALUED MODAL LOGIC
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Harmony in multiple-conclusion natural-deduction
• A note on synonymy in proof-theoretic semantics
• Logical multilateralism
• 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
• Anything goes
• A general schema for bilateral proof rules
• Bilateral inversion principles

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)