Valuational semantics of rule derivability

DOI10.1007/BF00257380zbMATH Open0859.03005OpenAlexW1975908296MaRDI QIDQ1815405FDOQ1815405

Lloyd Humberstone

Publication date: 7 April 1997

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

Full work available at URL: https://doi.org/10.1007/bf00257380

Recommendations

• Distributive-lattice semantics of sequent calculi with structural rules
• Publication:4487298
• scientific article; zbMATH DE number 2148623
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Rules in relevant logic. I: Semantic classification

zbMATH Keywords

rulesconsequence relationvaluationclosure operations

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited In (19)

• A family of metainferential logics
• The pleasures of anticipation: Enriching intuitionistic logic
• An intriguing logic with two implicational connectives
• Anti-exceptionalism, truth and the BA-plan
• Derivability of rules from rule complexes
• Sequent-calculi for metainferential logics
• A hierarchy of classical and paraconsistent logics
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Derivability and metainferential validity
• Categoricity problem for LP and K3
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Editorial introduction: substructural logics and metainferences
• Empty logics
• Requiem for logical nihilism, or: logical nihilism annihilated
• Substructural logics, pluralism and collapse
• Supervaluations and the strict-tolerant hierarchy
• Validities, antivalidities and contingencies: a multi-standard approach
• The revival of rejective negation
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS

This page was built for publication: Valuational semantics of rule derivability

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