Metavaluations

DOI10.1017/BSL.2017.29MaRDI QIDQ4602434zbMATH OpenOpenAlexFDO

Authors 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

constructive logicexistential propertymeaning containmentmetacompletemetavaluationpriming propertyproof theory

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)

Recommendations

• The simple consistency of naive set theory using metavaluations
• Metavaluations, naive set theory and inconsistency
• Some metacomplete relevant modal logics
• Metacompleteness of substructural logics
• scientific article; zbMATH DE number 7325808

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• A rejection system for the first-degree formulae of some relevant logics
• 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 γ
• Extending metacompleteness to systems with classical formulae
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1874095 (Why is no real title available?)
• scientific article; zbMATH DE number 3296227 (Why is no real title available?)
• scientific article; zbMATH DE number 3378892 (Why is no real title available?)
• Metacompleteness
• Metavaluations, naive set theory and inconsistency
• Negation in metacomplete relevant logics
• On disjunctions and existential statements in intuitionistic systems of logic
• Relevant implication and the case for a weaker logic
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The admissibility of \(\gamma\) in R4
• The consistency of arithmetic, based on a logic of meaning containment
• The simple consistency of naive set theory using metavaluations
• Universal logic

Cited in

(8)

• What is a relevant connective?
• Notes on stratified semantics
• Metasequents and tetravaluations
• scientific article; zbMATH DE number 1343458 (Why is no real title available?)
• Metavaluations, naive set theory and inconsistency
• Revisiting Semilattice Semantics
• A conceptual approach to restricted quantification in relevant logics
• Symmetry and completeness in relevant epistemic logic

This page was built for publication: Metavaluations

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