Separability and harmony in ecumenical systems

DOI10.1093/LOGCOM/EXAE058MaRDI QIDQ6923523zbMATH OpenFDO

Authors Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Publication date 30 September 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE058

zbMATH Keywords

cut-eliminationecumenical systemslabelled systemsmodalitiesnested systemspolarities

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A focused approach to combining logics
• A formal framework for specifying sequent calculus proof systems
• A new connective in natural deduction, and its application to quantum computing
• A new constructive logic: classic logic
• A pure view of ecumenical modalities
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• An ecumenical notion of entailment
• Another combination of classical and intuitionistic conditionals
• Call-by-Value  -calculus and LJQ
• Classical harmony and separability
• Combining Classical and Intuitionistic Implications
• Combining first-order classical and intuitionistic logic
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• Cut elimination in nested sequents for intuitionistic modal logics
• Cut-free sequent calculi for some tense logics
• Deep sequent systems for modal logic
• Ecumenical modal logic
• Focussing and proof construction
• From axioms to synthetic inference rules via focusing
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 7034428 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 1538011 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• Modal logic
• Modular focused proof systems for intuitionistic modal logics
• Nested sequents for intuitionistic logics
• On an ecumenical natural deduction with \textit{stoup}. I: The propositional case
• On the unity of logic
• On various negative translations
• Some Axioms for Mathematics
• Structural proof theory. With an appendix by Aarne Ranta
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Validity concepts in proof-theoretic semantics

This page was built for publication: Separability and harmony in ecumenical systems

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