Metasequents and tetravaluations

DOI10.1007/S10992-021-09623-7OpenAlexW3194539205MaRDI QIDQ2679584

Rohan French

Publication date: 23 January 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09623-7

zbMATH Keywords

translationsmetainferencesnontransitive logicnonreflexive logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Naive modus ponens and failure of transitivity
• Non-classical elegance for sequent calculus enthusiasts
• Proof analysis in modal logic
• Semantical investigations in Heyting's intuitionistic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of paradox
• Valuations: bi, tri, and tetra
• The original sin of proof-theoretic semantics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• ST, LP and Tolerant Metainferences
• Subvaluationism and classical recapture
• About some symmetries of negation
• Characterizing Belnap's Logic via De Morgan's Laws
• A family of metainferential logics
• Conservative translations

This page was built for publication: Metasequents and tetravaluations