Tarskian consequence relations bilaterally: some familiar notions

DOI10.1007/s11229-019-02267-wzbMath1525.03052OpenAlexW2947109675MaRDI QIDQ6088596

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

rejectionconservativitybilateralismfragmentdefinitional equivalence

Mathematics Subject Classification ID

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

Related Items (1)

Logical multilateralism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation as a sign of negative judgment
• Natural deduction, separation, and the meaning of logical operators
• The value of the four values
• The revival of rejective negation
• What is negation?
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• A more general general proof theory
• Reprint of: ``A more general general proof theory
• Reasoning with logical bilattices
• Logics and falsifications. A new perspective on constructivist semantics
• Falsification, natural deduction and bi-intuitionistic logic
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Constructible falsity and inexact predicates
• Rules and Derived Rules
• Rejection
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• Constructible falsity
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness

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