Basic logic: reflection, symmetry, visibility

DOI10.2307/2586685zbMath0969.03017OpenAlexW2126414330MaRDI QIDQ4527908

Claudia Faggian, Giovanni Sambin, Giulia Battilotti

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

zbMATH Keywords

symmetryreflectionsequent calculusvisibilitybasic logiccut-elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (28)

Linear Logic Properly Displayed ⋮ Logicality, double-line rules, and modalities ⋮ On the universality of atomic and molecular logics via protologics ⋮ Interpreting quantum parallelism by sequents ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? ⋮ A novel approach to equality ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ The uncertainty relation for quantum propositions ⋮ Characterization of quantum states in predicative logic ⋮ Anything goes ⋮ Naive structure, contraction and paradox ⋮ Nested sequents for intuitionistic logics ⋮ From SU(2) gauge theory to qubits on the fuzzy sphere ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Quantum states as virtual singletons: converting duality into symmetry ⋮ Fibring: completeness preservation ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Proof theory of paraconsistent quantum logic ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Meta-entanglement ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Expanding the Realm of Systematic Proof Theory ⋮ Natural deduction for quantum logic ⋮ THEORETICAL SETTING OF INNER REVERSIBLE QUANTUM MEASUREMENTS ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

Cites Work

• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Basic logic: reflection, symmetry, visibility