Automated deduction in classical and non-classical logics. Selected papers

DOI10.1007/3-540-46508-1MaRDI QIDQ1967066zbMATH OpenOpenAlexFDO

Authors

Publication date 8 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46508-1

zbMATH Keywords

Automated deductionNon-classical logicsClassical logics

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35)

Cited in

(10)

• Embedding and automating conditional logics in classical higher-order logic
• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
• Three-variable statements of set-pairing
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• Combining and automating classical and non-classical logics in classical higher-order logics
• Hilbert's epsilon as an operator of indefinite committed choice
• scientific article; zbMATH DE number 3972241 (Why is no real title available?)
• Behavioral abstraction is hiding information
• Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods
• Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Automated deduction in classical and non-classical logics. Selected papers

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