scientific article; zbMATH DE number 3497860
From MaRDI portal
Publication:4079581
zbMATH Open0318.02021MaRDI QIDQ4079581FDOQ4079581
Authors: Dana Scott 
Publication date: 1974
Title of this publication is not available (Why is that?)
Cited In (81)
- What is relevance logic?
- The algebra of opposition (and universal logic interpretations)
- A syntactical proof of the Marriage Lemma.
- Towards formal Baer criteria
- On Kreisel's notion of validity in Post systems
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- A family of strict/tolerant logics
- Remarks on a survey article on many valued logic by A. Urquhart
- Erotetic implications
- An intriguing logic with two implicational connectives
- On completeness theorems for feature logics
- A universal Krull-Lindenbaum theorem
- Consequence relations and admissible rules
- Erotetic arguments: A preliminary analysis
- Configuration structures, event structures and Petri nets
- A representation of stably compact spaces, and patch topology.
- The multiple facets of the canonical direct unit implicational basis
- A system for proper multiple-conclusion entailment
- Ordering groups constructively
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Taking degrees of truth seriously
- Simple consequence relations
- Lukasiewicz logic and the foundations of measurement
- Difference measurement spaces
- Point-Free Spectra of Linear Spreads
- Idempotent full paraconsistent negations are not algebraizable
- Singulary extensional connectives: A closer look
- False though partly true -- an experiment in logic
- Disjunctive and conjunctive multiple-conclusion consequence relations
- The expressive truth conditions of two-valued logic
- Default logic generalized and simplified
- Graded consequence: an institution theoretic study
- Reflecting rules: a note on generalizing the deduction theorem
- The logic of approximation in quantum theory
- Syntax for Semantics: Krull’s Maximal Ideal Theorem
- Remarks on the Scott-Lindenbaum theorem
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
- Admissibility and refutation: some characterisations of intermediate logics
- The presence of lattice theory in discrete problems of mathematical social sciences. Why.
- Presuppositional completeness
- Title not available (Why is that?)
- The Hahn-Banach theorem by disjunction elimination
- Lindenbaum’s Lemma via Open Induction
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
- Key notions of Tarski's methodology of deductive systems
- Some theorems on structural entailment relations
- That SCI has the interpolation property
- On Axioms and Rexpansions
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Acceptance, inference, and the multiple-conclusion sequent
- Graphs of plural cuts
- The revival of rejective negation
- Eliminating disjunctions by disjunction elimination
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Information links in domain theory
- An unexpected Boolean connective
- A refutation theory
- Disjunctive Multiple-Conclusion Consequence Relations
- Generalised graded interpolation
- Paraconsistent inference relations induced from inconsistency measures
- Inducing inference relations from inconsistency measures
- Consequence and degrees of truth in many-valued logic
- Consequence relations and data science: from Galois mappings to data interpretation
- A universal algorithm for Krull's theorem
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
- Stipulation and Symmetrical Consequence
- The effects of effects on constructivism
- An essay in matrix semantics for consequence relations
- A general Glivenko-Gödel theorem for nuclei
- Comments on the Contributions
- A logical consequence informed by probability
- Valuations: bi, tri, and tetra
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- From many-valued consequence to many-valued connectives
- Two traditions in abstract valuational model theory
- FDE: a logic of clutters
- What is a logical theory? On theories containing assertions and denials
- Generalized Entailments
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Aristotelian diagrams for semantic and syntactic consequence
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 Q4079581)
