Structuring co-constructive logic for proofs and refutations

DOI10.1007/S11787-016-0138-ZzbMath1394.03071OpenAlexW2340263572WikidataQ113899855 ScholiaQ113899855MaRDI QIDQ263109

James Trafford

Publication date: 4 April 2016

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: http://research.uca.ac.uk/2985/1/SCCL%28Final%29.pdf

zbMATH Keywords

category theorytoposintuitionistic logicconstructive logicco-intuitionistic logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Is `no' a force-indicator? Yes, sooner or later!

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A micrological study of negation
• Why conclusions should remain single
• Maximality and refutability
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Truth values and proof theory
• Topoi. The categorial analysis of logic
• Constructivism in mathematics. An introduction. Volume I
• Theory of logical calculi. Basic theory of consequence operations
• Sheaves in geometry and logic: a first introduction to topos theory
• Applications of Kripke models to Heyting-Brouwer logic
• Dual-intuitionistic logic
• Anti-intuitionism and paraconsistency
• The theory of rejected propositions. II
• On refutation rules
• Meaning approached via proofs
• Theory of rejected propositions. I
• Categorical Proof Theory of Co-Intuitionistic Linear Logic
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I
• Conceptions of truth in intuitionism
• The History of Categorical Logic: 1963–1977
• Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
• The Logic of Contradiction
• Structure in Mathematics and Logic: A Categorical Perspective
• The Trilattice of Constructive Truth Values
• From (Paraconsistent) Topos Logic to Universal (Topos) Logic
• Constructible falsity
• Subtractive logic

This page was built for publication: Structuring co-constructive logic for proofs and refutations