On the Proof Method for Constructive Falsity

DOI10.1002/MALQ.19880340502MaRDI QIDQ3812241zbMATH OpenOpenAlexFDO

Authors Seiki Akama

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340502

zbMATH Keywords

constructive falsitycut-free Gentzen-type sequent calculusproof theory

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1140579
• Constructive predicate logic with strong negation and model theory
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• A Gödel-Artemov-style analysis of constructible falsity
• Constructive logic with strong negation is a substructural logic. I

Cited in

(17)

• Constructive predicate logic with strong negation and model theory
• A Gödel-Artemov-style analysis of constructible falsity
• Falsification-aware semantics and sequent calculi for classical logic
• On the constructive truth and falsity in Peano arithmetic
• Constructive proofs of negated statements
• Constructible falsity and inexact predicates
• scientific article; zbMATH DE number 1140579 (Why is no real title available?)
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• scientific article; zbMATH DE number 1794702 (Why is no real title available?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Tableaux for logic programming with strong negation
• Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
• Constructive validity is nonarithmetic
• Why paraconsistent logics?
• Types for Proofs and Programs
• A new logical characterisation of stable models and answer sets
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: On the Proof Method for Constructive Falsity

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