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

(14)

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

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)