scientific article
From MaRDI portal
Publication:3792274
zbMath0647.68096MaRDI QIDQ3792274
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Ordered topological structures (06F30)
Related Items
A paraconsistent conditional logic, Modality and interrupts, A new approach to hybrid probabilistic logic programs, Bilattices and the theory of truth, A deterministic weakening of Belnap-Dunn logic, Semantic probabilistic inference of predictions, Paraconsistent disjunctive deductive databases, A resolution framework for finitely-valued first-order logics, Resolution approximation of first-order logics, Multi-valued logic programming semantics An algebraic approach, Probabilistic logic programming, An encompassing framework for paraconsistent logic programs, Bilattices and hyperidentities, Reasoning with Uncertainty in Deductive Databases and Logic Programs, THE LOGIC OF INFORMATION IN STATE SPACES, A semantical framework for supporting subjective and conditional probabilities in deductive databases
