Subtractive logic

DOI10.1016/S0304-3975(99)00124-3zbMath0983.03047OpenAlexW2912464567MaRDI QIDQ5940919

Tristan Crolard

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00124-3

zbMATH Keywords

dualityCartesian closed categoriesextension of intuitionistic logicsubtractive logicsymmetrical categorical propositional calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (18)

Equality and Apartness in Bi-intuitinistic Logic ⋮ Natural deduction for bi-intuitionistic logic ⋮ Dualized Simple Type Theory ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” ⋮ The semi Heyting-Brouwer logic ⋮ Classical Call-by-Need and Duality ⋮ Kripke Semantics for Basic Sequent Systems ⋮ Natural deduction for dual-intuitionistic logic ⋮ A type-theoretic foundation of delimited continuations ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ A Connection-Based Characterization of Bi-intuitionistic Validity ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ A connection-based characterization of bi-intuitionistic validity ⋮ Gentzen-type methods for bilattice negation ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• On the unity of logic
• Semantical investigations in Heyting's intuitionistic logic
• A categorical characterization of Boolean algebras
• A new constructive logic: classic logic
• Contraction-free sequent calculi for intuitionistic logic
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Declarative continuations: An investigation of duality in programming language semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Subtractive logic