Tarskian consequence relations bilaterally: some familiar notions

DOI10.1007/S11229-019-02267-WMaRDI QIDQ6088596zbMATH OpenOpenAlexFDO

Authors Sergey Drobyshevich

Publication date 14 December 2023

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-019-02267-w

zbMATH Keywords

bilateralismconservativitydefinitional equivalencefragmentrejection

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 7599931
• What is a logical theory? On theories containing assertions and denials
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• Four consequence relations, three orders, two matrices, one bilattice
• Some comments on Ian Rumfitt's bilateralism

Cites work

• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• A more general general proof theory
• An inferentially many-valued two-dimensional notion of entailment
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Constructible falsity
• Constructible falsity and inexact predicates
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Falsification, natural deduction and bi-intuitionistic logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• Logics and falsifications. A new perspective on constructivist semantics
• Natural deduction, separation, and the meaning of logical operators
• Negation as a sign of negative judgment
• On split negation, strong negation, information, falsification, and verification
• Proofs, disproofs, and their duals
• Reasoning with logical bilattices
• Rejection
• Reprint of: ``A more general general proof theory
• Rules and Derived Rules
• The revival of rejective negation
• The value of the four values
• What is negation?

Cited in

(8)

• Should Tarski's idea of consequence operation be revised?
• What is a logical theory? On theories containing assertions and denials
• Logical multilateralism
• A note on synonymy in proof-theoretic semantics
• Bi-connexive logic, bilateralism, and negation inconsistency
• Epistemic modals in hypothetical reasoning
• Completeness of first-order bi-intuitionistic logic
• Correspondence of contradictions in the constructive connexive calculus \textbf{C}

This page was built for publication: Tarskian consequence relations bilaterally: some familiar notions

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