Connections in nonclassical logics

MaRDI QIDQ2751374zbMATH OpenFDO

Authors Arild Waaler

Publication date 21 October 2001

zbMATH Keywords

connection-driven searchfirst-order logicintuitionistic logiclabelled systemsmodal logicprefixed systemsproof systems

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Canonical structure (93B10)

Recommendations

• Non-clausal connection calculi for non-classical logics
• scientific article; zbMATH DE number 1543301
• Non-classical logics and intelligent systems
• A Non-clausal Connection Calculus
• Connection-based proof construction in non-commutative logic

Cited in

(15)

• Connectives and fuzziness for classical effects
• On the costs of nonclassical logic
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• A Non-clausal Connection Calculus
• Specifying and verifying organizational security properties in first-order logic
• scientific article; zbMATH DE number 3874666 (Why is no real title available?)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
• A proof-search procedure for intuitionistic propositional logic
• scientific article; zbMATH DE number 1554267 (Why is no real title available?)
• From Schütte’s Formal Systems to Modern Automated Deduction
• scientific article; zbMATH DE number 7288621 (Why is no real title available?)
• Proof Search for the First-Order Connection Calculus in Maude
• A new connective in natural deduction, and its application to quantum computing
• Liberalized variable splitting

This page was built for publication: Connections in nonclassical logics

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