METAVALUATIONS
From MaRDI portal
Publication:4602434
DOI10.1017/bsl.2017.29zbMath1421.03011OpenAlexW4247769970MaRDI QIDQ4602434
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
proof theoryconstructive logicmetavaluationexistential propertypriming propertymeaning containmentmetacomplete
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
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 γ