Basic logic: reflection, symmetry, visibility
From MaRDI portal
Publication:4527908
DOI10.2307/2586685zbMath0969.03017MaRDI QIDQ4527908
Claudia Faggian, Giulia Battilotti, Giovanni Sambin
Publication date: 3 October 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586685
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Characterization of quantum states in predicative logic, LK, LJ, dual intuitionistic logic, and quantum logic, Interpreting quantum parallelism by sequents, Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules, The uncertainty relation for quantum propositions, Nested sequents for intuitionistic logics, From SU(2) gauge theory to qubits on the fuzzy sphere, Fibring: completeness preservation, THEORETICAL SETTING OF INNER REVERSIBLE QUANTUM MEASUREMENTS, Expanding the Realm of Systematic Proof Theory
Cites Work