The two-property and condensed detachment

DOI10.1007/BF00370343zbMath0548.03005OpenAlexW2079642026MaRDI QIDQ799664

John A. Kalman

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf00370343

zbMATH Keywords

condensed detachmentD-groupoidsnon-classical Hilbert-type sentential calculitwo- property

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35)

Related Items

Condensed detachment as a rule of inference

Cites Work

• Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains
• A shortest single axiom for the classical equivalential calculus
• Notes on the axiomatics of the propositional calculus
• Equational logic
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item