Results 161 to 169 of about 8,534 (169)

Categorical abstract algebraic logic: The criterion for deductive equivalence

Mathematical Logic Quarterly, 2003
George Voutsadakis
exaly  

On the lattice of deductive systems of a BL-algebra

Central European Journal of Mathematics, 2003
exaly  

Meta-Level Control for Deductive Database Systems

Lecture Notes in Computer Science, 1991
exaly  

Sampling Labeled Deductive Systems

2006
D M Gabbay
exaly  

Deductive systems and R-congruences of pre-Hilbert algebras

Soft Computing
Andrzej Walendziak, Walendziak Andrzej
exaly  

On the Complexity of Linking Deductive and Abstract Argument Systems.

Michael J. Wooldridge, Paul E. Dunne, Simon Parsons   +2 more
openaire   +1 more source

The Aditi Deductive Database System (Extented Abstract).

openaire  

Abstraction-based deductive-algorithmic verification of reactive systems.

openaire   +1 more source

Tool supported real-time system verification with combination of abstraction/deduction and model checking. (Abstractions booléennes pour la vérification des systèmes temps-réel).

openaire   +1 more source