Subtractive logic

DOI10.1016/S0304-3975(99)00124-3MaRDI QIDQ5940919zbMATH OpenOpenAlexFDO

Authors T. 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

Cartesian closed categoriesdualityextension of intuitionistic logicsubtractive logicsymmetrical categorical propositional calculus

Mathematics Subject Classification ID

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

Recommendations

• Subtractive categories and extended subtractions
• A Formulae-as-Types Interpretation of Subtractive Logic
• Subtractive categories
• A syntactical study of the subminimal logic with Nelson negation
• On a substructural logic with minimal negation

Cites work

• A categorical characterization of Boolean algebras
• A new constructive logic: classic logic
• Contraction-free sequent calculi for intuitionistic logic
• Declarative continuations: an investigation of duality in programming language semantics
• scientific article; zbMATH DE number 2185670 (Why is no real title available?)
• scientific article; zbMATH DE number 3821696 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3985475 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 517083 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• On the unity of logic
• Semantical investigations in Heyting's intuitionistic logic
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Cited in

(23)

• Natural deduction for bi-intuitionistic logic
• A connection-based characterization of bi-intuitionistic validity
• Structuring co-constructive logic for proofs and refutations
• Dualized simple type theory
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• Errata corrige to ``Pragmatic and dialogic interpretation of bi-intuitionism. I
• Classical call-by-need and duality
• Kripke Semantics for Basic Sequent Systems
• scientific article; zbMATH DE number 4142010 (Why is no real title available?)
• Constructive negation, implication, and co-implication
• A Formulae-as-Types Interpretation of Subtractive Logic
• The semi Heyting-Brouwer logic
• Equality and Apartness in Bi-intuitinistic Logic
• A connection-based characterization of bi-intuitionistic validity
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Natural deduction for dual-intuitionistic logic
• Dual counterpart intuitionistic logic
• Intuitionistic epistemic logic with two modal operators
• Completeness of first-order bi-intuitionistic logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Gentzen-type methods for bilattice negation
• A type-theoretic foundation of delimited continuations

This page was built for publication: Subtractive logic

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