ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/bsl.2017.13
+Normal rank
@@ Property / OpenAlex ID @@
+W2685774512
@@ Property / OpenAlex ID: W2685774512 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized geometric theories and set-generated classes
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247301
@@ Property / cites work: Q4247301 / rank @@
+Normal rank
@@ Property / cites work @@
+Lindenbaum’s Lemma via Open Induction
@@ Property / cites work: Lindenbaum’s Lemma via Open Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary formal topologies and Stone's representation theorem
+Normal rank
@@ Property / cites work @@
+Two applications of Boolean models
@@ Property / cites work: Two applications of Boolean models / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Hahn-Banach theorem
@@ Property / cites work: Geometric Hahn-Banach theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Space of valuations
@@ Property / cites work: Space of valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
+Normal rank
@@ Property / cites work @@
+A logical approach to abstract algebra
@@ Property / cites work: A logical approach to abstract algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Valuations and Dedekind's Prague theorem
@@ Property / cites work: Valuations and Dedekind's Prague theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753679
@@ Property / cites work: Q2753679 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical method in algebra: Effective Nullstellensätze
+Normal rank
@@ Property / cites work @@
+Q4365300
@@ Property / cites work: Q4365300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135193
@@ Property / cites work: Q3135193 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic at work. Essays dedicated to the memory of Helena Rasiowa
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Choice structures and preference relations
@@ Property / cites work: Choice structures and preference relations / rank @@
+Normal rank
@@ Property / cites work @@
+On a conservative extension argument of Dana Scott
+Normal rank
@@ Property / cites work @@
+Q5416163
@@ Property / cites work: Q5416163 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Deterministic Inductive Definitions and Fullness
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454196
@@ Property / cites work: Q5454196 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive rereading of Artin-Schreier theory
@@ Property / cites work: Constructive rereading of Artin-Schreier theory / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden constructions in abstract algebra. I: Integral dependance.
+Normal rank
@@ Property / cites work @@
+Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
+Normal rank
@@ Property / cites work @@
+Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
+Normal rank
@@ Property / cites work @@
+Über halbgeordnete Gruppen
@@ Property / cites work: Über halbgeordnete Gruppen / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraische und logistische Untersuchungen über freie Verbände
+Normal rank
@@ Property / cites work @@
+Teilbarkeitstheorie in Bereichen
@@ Property / cites work: Teilbarkeitstheorie in Bereichen / rank @@
+Normal rank
@@ Property / cites work @@
+Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931592
@@ Property / cites work: Q3931592 / rank @@
+Normal rank
@@ Property / cites work @@
+A globalization of the Hahn-Banach theorem
@@ Property / cites work: A globalization of the Hahn-Banach theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896531
@@ Property / cites work: Q4896531 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretical analysis of order relations
@@ Property / cites work: Proof-theoretical analysis of order relations / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on the Scott-Lindenbaum theorem
@@ Property / cites work: Remarks on the Scott-Lindenbaum theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2716044
@@ Property / cites work: Q2716044 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving open properties by induction
@@ Property / cites work: Proving open properties by induction / rank @@
+Normal rank
@@ Property / cites work @@
+A universal Krull-Lindenbaum theorem
@@ Property / cites work: A universal Krull-Lindenbaum theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction in Algebra: A First Case Study
@@ Property / cites work: Induction in Algebra: A First Case Study / rank @@
+Normal rank
@@ Property / cites work @@
+Induction in Algebra: a First Case Study
@@ Property / cites work: Induction in Algebra: a First Case Study / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal from classical proofs
@@ Property / cites work: Minimal from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic inductive definitions
@@ Property / cites work: Non-deterministic inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
+Normal rank