scientific article
From MaRDI portal
Publication:3741611
zbMath0604.03001MaRDI QIDQ3741611
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Operations and polynomials in algebraic structures, primal algebras (08A40) Partial algebras (08A55) Combinatory logic and lambda calculus (03B40)
Related Items
Some reward paths in semi-Markov models with stochastic selection of the transition probabilities ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ The emergence of compositional grammars in artificial codes ⋮ Dynamic predicate logic ⋮ A unified language processing methodology