METAVALUATIONS

DOI10.1017/bsl.2017.29zbMath1421.03011OpenAlexW4247769970MaRDI QIDQ4602434

Ross T. Brady

Publication date: 11 January 2018

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2017.29

zbMATH Keywords

proof theoryconstructive logicmetavaluationexistential propertypriming propertymeaning containmentmetacomplete

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

What is a relevant connective?, Notes on stratified semantics, Revisiting Semilattice Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The simple consistency of naive set theory using metavaluations
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• On disjunctions and existential statements in intuitionistic systems of logic
• A metacompleteness theorem for contraction-free relevant logics
• The admissibility of \(\gamma\) in R4
• Handbook of philosophical logic. Vol. 6
• Relevant implication and the case for a weaker logic
• Metacompleteness
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Distribution in the Logic of Meaning Containment and in Quantum Mechanics
• E, R AND γ