scientific article; zbMATH DE number 4147552

MaRDI QIDQ3477992zbMATH OpenFDO

Authors Melvin Fitting, Marion Ben-Jacob

Publication date 1990

zbMATH Keywords

stratifiable logic programsstratified semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Notes on stratified semantics
• Two kinds of (binary) Kripke-style semantics for three-valued logic
• Stratification in logics of definitions
• scientific article; zbMATH DE number 4160107
• scientific article; zbMATH DE number 4078762
• scientific article; zbMATH DE number 1046390
• Semantics and Stratification
• Many-valued and Kripke semantics
• Hyperdoctrines and the ontology of stratified semantics
• Three-valued plurivaluationism of vague predicates

Cited in

(4)

• An implementation of Kripke-Kleene semantics
• Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox
• Notes on stratified semantics
• scientific article; zbMATH DE number 179051 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477992)