MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Corrigendum to "Kripke-style semantics for many-valued logics"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

250,503 documents found, showing 1 through 10. Next 10 →

ATOM

Kripke-Style Models for Typed Lambda Calculus
by John C. Mitchell, Eugenio Moggi — 1996 — Annals of Pure and Applied Logic
… 2.1 Possible worlds As with other Kripke-style semantics, a Kripke lambda model will include a…
Cited by 48 (3 self) – Add To MetaCart

On Kripke-style Semantics for the Provability Logic of Gödel’s Proof Predicate with Quantifiers
by Rostislav Yavorskiy — Journal of Logic and Computation
…On Kripke-style semantics for the provability logic of Gödel’s proof predicate with quantifiers…
Cited by 1 (0 self) – Add To MetaCart

Priestley Duality for SHn-Algebras and Applications to the Study of Kripke-Style Models for SHn-Logics
by Viorica Sofronie-stokkermans — 1999 — MultipleValued Logic { An International Journal
… and Orlowska give a completeness theorem for SHn-logics with respect to a Kripke-style semantics. Also a…
Cited by 3 (2 self) – Add To MetaCart

Many-Valued Modal Logics
by Melvin C. Fitting — 1992 — Fundamenta Informaticae
… families of many-valued modal logics are investigated. Semantically, one family is characterized using…
Cited by 158 (15 self) – Add To MetaCart

Simplification of Many-Valued Formulas . . .
by Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz — 1997
…Simplification of Many-Valued Logic Formulas Using Anti-Links Bernhard Beckert and Reiner Hahnle…
Add To MetaCart

Structures with Many-Valued Information and Their Relational Proof Theory
by Ivo Düntsch, Wendy MacCaull, Ewa Orlowska — 2000
…. Semantic structures of the logics are usually either classes of algebras or Kripke−style structures…
Cited by 3 (2 self) – Add To MetaCart

Dyadic Semantics for Many-Valued Logics
by Caleiro Carnielli Coniglio, C. Caleiro, W. Carnielli, M. E. Coniglio, J. Marcos
…Dyadic semantics for many-valued logics C. Caleiro 1 W. Carnielli 2 M. E. Coniglio 2 J…
Add To MetaCart

Dyadic semantics for many-valued logics
by C. Caleiro, W. Carnielli, M. E. Coniglio, J. Marcos — 2003 — Department of Mathematics, Instituto Superior Técnico
…Dyadic semantics for many-valued logics C. Caleiro 1 W. Carnielli 2 M. E. Coniglio 2 J. Marcos 1…
Cited by 6 (4 self) – Add To MetaCart

Modal systems based on many-valued logics
by F. Bou, F. Esteva, L. Godo
… general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize…
Add To MetaCart

Exploiting Data Dependencies in Many-Valued Logics
by Reiner Hähnle — 1996 — Journal of Applied Non-Classical Logics
…Exploiting Data Dependencies in Many-Valued Logics Reiner Hahnle University of Karlsruhe Institute…
Cited by 18 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB