Recommendations
Cites work
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 3556029 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- Abstract algebraic logic. An introductory textbook
- Anything goes
- Doubt truth to be a liar
- Equivalence of consequence operations
- Gentzen's cut-free calculus versus the logic of paradox
- Multiple conclusions
- Naive \textit{modus ponens}
- Naive modus ponens and failure of transitivity
- Proof theory for fuzzy logics
- Proof-theoretic semantics
- Simple consequence relations
- The logic of paradox
- The logics of strict-tolerant logic
- Tolerant, classical, strict
- What is the logic of inference?
Cited in
(46)- The logics of strict-tolerant logic
- A family of metainferential logics
- A family of strict/tolerant logics
- On the metainferential solution to the semantic paradoxes
- Inferences and metainferences in \(\mathsf{ST}\)
- (I can't get no) antisatisfaction
- Inferential constants
- Anti-exceptionalism, truth and the BA-plan
- Multilateral supervaluationism and classicality
- Sequent-calculi for metainferential logics
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- A fully classical truth theory characterized by substructural means
- A recovery operator for nontransitive approaches
- A hierarchy of classical and paraconsistent logics
- Meta-classical non-classical logics
- Metainferential duality
- An inferentialist approach to Mates's puzzle
- Appreciating global validity
- Non-foundationalist frameworks for logical metainferentialism
- A case for weak Kleene ST
- Knot is not that nasty (but it is hardier than tonk)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Non-transitive counterparts of every Tarskian logic
- A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
- Editorial introduction
- Sequent calculi for first-order ST
- Tableaux for metainferential logics
- Deep \textsf{ST}
- Derivability and metainferential validity
- On three-valued presentations of classical logic
- Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem
- Classical logic is not uniquely characterizable
- Editorial introduction: substructural logics and metainferences
- Empty logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- Metasequents and tetravaluations
- Requiem for logical nihilism, or: logical nihilism annihilated
- Inferential-connexive mixed logics
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- A hybrid calculus for the validities and invalidities of classical propositional logic
- The laws of thought and the laws of truth as two sides of one coin
- A Gödel-Dugundji-style theorem for the minimal structural logic
- Validities, antivalidities and contingencies: a multi-standard approach
- Simple sequent systems for the modal logics K, D, T, and S4
- There is no tenable notion of global metainferential validity
This page was built for publication: ST, LP and tolerant metainferences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305673)
