Tarskian consequence relations bilaterally: some familiar notions

DOI10.1007/S11229-019-02267-WzbMATH Open1525.03052OpenAlexW2947109675MaRDI QIDQ6088596FDOQ6088596

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

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

zbMATH Keywords

rejectionconservativitybilateralismfragmentdefinitional equivalence

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• A note on synonymy in proof-theoretic semantics
• Logical multilateralism
• What is a logical theory? On theories containing assertions and denials
• Should Tarski's idea of consequence operation be revised?

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)