Structuring co-constructive logic for proofs and refutations

DOI10.1007/S11787-016-0138-ZMaRDI QIDQ263109zbMATH OpenOpenAlexWikidataFDO

Authors 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 theoryco-intuitionistic logicconstructive logicintuitionistic logictopos

Mathematics Subject Classification ID

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

Recommendations

• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• scientific article; zbMATH DE number 4004179
• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 966896
• A Gödel-Artemov-style analysis of constructible falsity

Cites work

• scientific article; zbMATH DE number 5872189 (Why is no real title available?)
• scientific article; zbMATH DE number 4158595 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• A micrological study of negation
• Anti-intuitionism and paraconsistency
• Applications of Kripke models to Heyting-Brouwer logic
• Categorical proof theory of co-intuitionistic linear logic
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Complement-topoi and dual intuitionistic logic
• Conceptions of truth in intuitionism
• Constructible falsity
• Constructivism in mathematics. An introduction. Volume I
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• From (paraconsistent) topos logic to universal (topos) logic
• Maximality and refutability
• Meaning approached via proofs
• On refutation rules
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• Sheaves in geometry and logic: a first introduction to topos theory
• Structure in Mathematics and Logic: A Categorical Perspective
• Subtractive logic
• The History of Categorical Logic: 1963–1977
• The Logic of Contradiction
• The Trilattice of Constructive Truth Values
• The connectives
• The theory of rejected propositions. II
• Theory of logical calculi. Basic theory of consequence operations
• Theory of rejected propositions. I
• Topoi. The categorial analysis of logic
• Truth values and proof theory
• What is a logic, and what is a proof?
• Why conclusions should remain single

Cited in

(1)

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

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

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