scientific article; zbMATH DE number 3435458

MaRDI QIDQ4401922zbMATH OpenFDO

Authors Dana Scott

Publication date 1973

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cited in

(15)

• Multi-valued semantics: why and how
• Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• The revival of rejective negation
• Eliminating disjunctions by disjunction elimination
• Valuations: bi, tri, and tetra
• Extension by conservation. Sikorski's theorem
• Syntax for semantics: Krull's maximal ideal theorem
• Revisiting Semilattice Semantics
• Incorporating the relation into the language? A survey of approaches in relating logic
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Ordering groups constructively
• From (paraconsistent) topos logic to universal (topos) logic
• A general Glivenko-Gödel theorem for nuclei
• Conservation as translation
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system

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)