A proof system for classical logic

DOI10.1007/S11225-005-6778-2MaRDI QIDQ813076zbMATH OpenOpenAlexFDO

Authors Witold A. Pogorzelski, Piotr Wojtylak

Publication date 30 January 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-6778-2

zbMATH Keywords

classical logicconsequence operationHilbert operationinferential rule

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 3885863
• scientific article; zbMATH DE number 3961576
• Proof Identity for Classical Logic: Generalizing to Normality
• A new constructive logic: classic logic
• On Hilbert's axiomatics of propositional logic

Cited in

(7)

• scientific article; zbMATH DE number 3961576 (Why is no real title available?)
• A Local System for Classical Logic
• scientific article; zbMATH DE number 3885863 (Why is no real title available?)
• scientific article; zbMATH DE number 1163928 (Why is no real title available?)
• Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
• Proof Nets for Classical Logic
• A Note on Stahl's Opposite System

This page was built for publication: A proof system for classical logic

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