Structuring co-constructive logic for proofs and refutations

DOI10.1007/S11787-016-0138-ZzbMATH Open1394.03071OpenAlexW2340263572WikidataQ113899855 ScholiaQ113899855MaRDI QIDQ263109FDOQ263109

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• The connectives
• Conceptions of truth in intuitionism
• The History of Categorical Logic: 1963–1977
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• A micrological study of negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is a logic, and what is a proof?
• The Logic of Contradiction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structure in Mathematics and Logic: A Categorical Perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Trilattice of Constructive Truth Values
• Title not available (Why is that?)
• From (Paraconsistent) Topos Logic to Universal (Topos) Logic
• Why conclusions should remain single
• Maximality and refutability
• Constructible falsity
• Subtractive logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research

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)