✦ LIBER ✦

The logic of algebraic rules as a generalization of equational logic

✍ Scribed by Tomasz Furmanowski

Publisher: Springer Netherlands
Year: 1983
Tongue: English
Weight: 463 KB
Volume: 42
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01063844

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generalization of Carnap's inductive l

A generalization of Carnap's inductive logic

✍ Theo A. F. Kuipers 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 140 KB

Algebraic aspects of threshold logic

✍ N. N. Aizenberg; A. A. Bovdi; É. I. Gergo; F. É. Geche 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 515 KB

Quandaries and the logic of rules

✍ C. L. Hamblin 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 629 KB

Pseudomonadic Algebras as Algebraic Mode

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

✍ Nick Bezhanishvili 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: (1) Charact

Categoricity of finitely generated algeb

Categoricity of finitely generated algebraic systems in HF-logic

✍ V. Ya. Belyaev; E. E. Lyutikova; V. N. Remeslennikov 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 794 KB

Acquisition of uncertain rules in a prob

Acquisition of uncertain rules in a probabilistic logic

✍ John G. Cleary 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 509 KB

The problem of acquiring uncertain rules from examples is considered. The uncertain rules are expressed using a simple probabilistic logic which obeys all the axioms of propositional logic. By using three truth values (true, false, undefined) a consistent expression of contradictory evidence is obta