Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 4147552

From MaRDI portal
Publication:3477992
Jump to:navigation, search

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3477992&oldid=16812371"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 21:33. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki