scientific article; zbMATH DE number 2042611
From MaRDI portal
Publication:4450440
Recommendations
Cited in
(24)- On the refutational completeness of signed binary resolution and hyperresolution
- Resolution theorem proving in reified modal logics
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- An algebraic study of tense operators on Nelson algebras
- Representation results for non-cumulative logics
- Automated theorem proving by resolution in non-classical logics
- Duality results for (co)residuated lattices
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- Discrete duality for Nelson algebras with tense operators
- Modal-type orthomodular logic
- An efficient relational deductive system for propositional non-classical logics
- Autoreferential semantics for many-valued modal logics
- scientific article; zbMATH DE number 4051564 (Why is no real title available?)
- scientific article; zbMATH DE number 51460 (Why is no real title available?)
- scientific article; zbMATH DE number 1222436 (Why is no real title available?)
- Equational Reasoning in Non-Classical Logics
- scientific article; zbMATH DE number 1301861 (Why is no real title available?)
- scientific article; zbMATH DE number 1303346 (Why is no real title available?)
- scientific article; zbMATH DE number 4117898 (Why is no real title available?)
- Combining and automating classical and non-classical logics in classical higher-order logics
- Algebras and relational frames for Gödel modal logic and some of its extensions
- T-rough symmetric Heyting algebras with tense operators
- Binary resolution over Boolean lattices
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450440)
