scientific article; zbMATH DE number 4147552

zbMATH Open0699.68106MaRDI QIDQ3477992FDOQ3477992

Melvin Fitting, Marion Ben-Jacob

Publication date: 1990

Title of this publication is not available (Why is that?)

Recommendations

• Notes on stratified semantics
• Two kinds of (binary) Kripke-style semantics for three-valued logic
• Stratification in logics of definitions
• Publication:3486858
• 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

zbMATH Keywords

stratified semanticsstratifiable logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (2)

• Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox
• Title not available (Why is that?)

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)