21 results on '"deductive system"'
Search Results
2. Hereditarily Structurally Complete Superintuitionistic Deductive Systems
3. Direct Proofs of Lindenbaum Conditionals
4. Some types of filters in residuated lattices
5. On the positive fragment of the polymodal provability logic GLP
6. Pseudo-valuations on pre-logics
7. Contextual Deduction Theorems
8. Local pseudo-BCK algebras with pseudo-product
9. A glimpse of deductive systems in algebra
10. States on Hilbert Algebras
11. Deductive systems of a cone algebra — I: Semi-ℓg-cones
12. Deductive systems of a cone algebra — II: Isomorphism theorem
13. Distributive implication groupoids
14. General Theory of the Commutator for Deductive Systems. Part I. Basic Facts
15. Static extensivity analysis for λ-definable functions over lattices
16. Annihilators in BCK-Algebras
17. On the lattice of deductive systems of a BL-algebra
18. Algebraic Semantics for Deductive Systems
19. Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization
20. Reasoning about Qualitative Spatial Relationships
21. Congruence Kernels in Weakly Regular Varieties
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.