Towards automating duality

DOI10.1016/0898-1221(94)00217-9MaRDI QIDQ1343394zbMATH OpenOpenAlexFDO

Authors Dov Gabbay, Chris Brink, Hans Jürgen Ohlbach

Publication date 2 February 1995

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11858/00-001M-0000-0014-B45A-D

zbMATH Keywords

automated reasoningcorrespondence theoryduality theorypower structurestheorem prover OTTER

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• On a self-dual notation in automated reasoning
• Duality in logic and computation (invited paper)
• scientific article; zbMATH DE number 2065283
• The syntax and semantics of entailment in duality theory
• Dualities for structures of applied logics

Cites work

• A completeness theorem in modal logic
• A duality for Boolean algebras with operators
• Algebraizable logics
• Algebraization of quantifier logics, an introductory overview
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Cylindric algebras. Part II
• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3756452 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1300967 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (Why is no real title available?)
• scientific article; zbMATH DE number 590572 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• Logic in algebraic form. Three languages and theories
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• Power structures
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Solvable cases of the decision problem
• Subsumption computed algebraically
• The Monotonous Elimination of Predicate Variables
• The Theory of Representation for Boolean Algebras
• The weakest prespecification
• Towards automating duality

Cited in

(6)

• Rough sets determined by quasiorders
• Towards automating duality
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• On a self-dual notation in automated reasoning
• Autoreferential semantics for many-valued modal logics
• Computing witnesses using the SCAN algorithm

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Towards automating duality

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