Towards automating duality
From MaRDI portal
Publication:1343394
DOI10.1016/0898-1221(94)00217-9zbMath0816.03004OpenAlexW2189778928MaRDI QIDQ1343394
Dov M. 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
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Towards automating duality ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Autoreferential semantics for many-valued modal logics ⋮ Rough sets determined by quasiorders
Uses Software
Cites Work
- A duality for Boolean algebras with operators
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- Cylindric algebras. Part II
- The weakest prespecification
- Algebraization of quantifier logics, an introductory overview
- Subsumption computed algebraically
- Logic in algebraic form. Three languages and theories
- Towards automating duality
- Power structures
- Solvable cases of the decision problem
- A completeness theorem in modal logic
- Algebraizable logics
- On the Correspondence Between Modal and Classical Logic: an Automated Approach
- The Monotonous Elimination of Predicate Variables
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Towards automating duality
