scientific article; zbMATH DE number 3435458
From MaRDI portal
Publication:4401922
zbMATH Open0277.02003MaRDI QIDQ4401922FDOQ4401922
Authors: Dana Scott
Publication date: 1973
Title of this publication is not available (Why is that?)
Cited In (14)
- Extension by conservation. Sikorski's theorem
- Incorporating the relation into the language? A survey of approaches in relating logic
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Ordering groups constructively
- From (paraconsistent) topos logic to universal (topos) logic
- A general Glivenko-Gödel theorem for nuclei
- Multi-valued semantics: why and how
- Valuations: bi, tri, and tetra
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- Revisiting Semilattice Semantics
- The revival of rejective negation
- Eliminating disjunctions by disjunction elimination
- Syntax for semantics: Krull's maximal ideal theorem
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 Q4401922)