Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Paul E. Howard, Arthur L. Rubin, Jean E. Rubin |
Independence Results for Class Forms of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 43(4), pp. 673-684, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | John A. Kalman |
A shortest single axiom for the classical equivalential calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 19(1), pp. 141-144, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
Awkward axiom-systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 19(2), pp. 315-320, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Cook |
Soundness and Completeness of an Axiom System for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 7(1), pp. 70-90, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Motinori Goto, Shinji Kao, Tomoko Ninomiya |
Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVL ![In: Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978, pp. 195-201, 1978, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
16 | Luisa Iturrioz |
An axiom system for three-valued Łukasiewicz propositional calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 18(4), pp. 616-620, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Rolf Schock |
A note on the axiom of choice and the continuum hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 18(3), pp. 409-414, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | James George Kowalski |
Leśniewski's ontology extended with the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 18(1), pp. 1-78, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Gabriele Lolli |
On Ramsey's theorem and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 18(4), pp. 599-601, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Herbert Hochberg |
Properties, abstracts, and the axiom of infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 6(1), pp. 193-207, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Joseph P. S. Kung |
The core extraction axiom for combinatorial geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 19(2), pp. 167-175, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Thomas |
Axiom sets equivalent to syllogism and Peirce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 17(2), pp. 248, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Charles C. Davis |
A note on the axiom of choice in Leśniewski's ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 17(1), pp. 35-43, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | George T. Ligler |
The assignment axiom and programming language design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, pp. 2-6, 1976, ACM, 978-1-4503-7489-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Edmund M. Clarke |
Completeness and Incompleteness Theorems for Hoare-like Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1976 |
RDF |
|
16 | Anna Michaelides Penk |
Two Forms of the Axiom of Choice for an Elementary Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 40(2), pp. 197-212, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Cohen |
A Large Power Set Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 40(1), pp. 48-54, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Petr Vopenka, Antonín Sochor |
Contributions to the theory of semisets V: On the axiom of general collapse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 21(1), pp. 289-302, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Charles E. Hughes |
Sets derived by deterministic systems with axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 21(1), pp. 71-80, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Robert Goldblatt |
Erratum: "Concerning the proper axiom for S4.04 and some related systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 16(4), pp. 608, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
16 | Charles C. Davis |
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 16(2), pp. 145-184, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Charles C. Davis |
Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 16(4), pp. 608, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
16 | Charles E. Hughes |
The general decision problem for Markov algorithms with axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 16(2), pp. 208-216, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Thomas |
Shorter development of an axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 16(3), pp. 378, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Rufus Bowen |
Bernoulli Equilibrium States for Axiom A Diffeomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 8(4), pp. 289-294, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Thomas |
On Meredith's sole positive axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 15(3), pp. 477, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Takayasu Ito, Shigeru Ando |
A Complete Axiom System of Super-Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing, Proceedings of the 6th IFIP Congress 1974, Stockholm, Sweden, August 5-10, 1974., pp. 661-665, 1974, North-Holland, 0-7204-2803-3. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP BibTeX RDF |
|
16 | James S. Johnson |
Axiom Systems for First Order Logic with Finitely Many Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 38(4), pp. 576-578, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Robert Goldblatt |
Concerning the proper axiom for S4.04 and some related systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 14(3), pp. 392-396, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Charles E. Hughes, Wilson E. Singletary |
Combinatorial systems with axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 14(3), pp. 354-360, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Gershon Sageev |
An independence result concerning the axiom of choice (תוצאת אי-תלות הקשורה לאקסיומת הבחירה.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1973 |
RDF |
|
16 | James D. Davis |
The Inconsistency of a Certain Axiom System for Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 37(3), pp. 538-542, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Marie Goldstein |
The historical development of group theoretical ideas in connection with Euclid's axiom of congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 13(3), pp. 331-349, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Melvin Fitting |
ε-calculus based axiom systems for some propositional modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 13(3), pp. 381-384, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
An abbreviation of Croisot's axiom-system for distributive lattices with I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 13(1), pp. 139-141, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Ivor Grattan-Guinness |
Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 1(2), pp. 103-110, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | David Pincus |
Support Structures for the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 36(1), pp. 28-38, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Richard L. Poss |
Weak forms of the axiom of constructibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 12(3), pp. 257-299, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
A note on an axiom-system of atomistic mereology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 12(2), pp. 249-251, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | J. W. de Bakker |
Axiom systems for simple assignment statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Semantics of Algorithmic Languages ![In: Symposium on Semantics of Algorithmic Languages, pp. 1-22, 1971, Springer, 978-3-540-05377-4. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Robert E. Clay |
The dependence of mereological axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 11(4), pp. 471-472, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Thomas |
Final word on a shortest implicational axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 11(1), pp. 16, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Nino B. Cocchiarella |
A substitution free axiom set for second order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 10(1), pp. 18-30, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
16 | Francis J. Tytus |
A theorem for deriving consequences of the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 8(4), pp. 291-296, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
16 | Czeslaw Lejewski |
A single axiom for the mereological notion of proper part. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 8(4), pp. 279-285, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
16 | Michael C. Gemignani |
On eliminating an unwanted axiom in the characterization of Rm using topological geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 7(4), pp. 365-366, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Thomas W. Scharle |
Single axiom schemata for D and S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 7(4), pp. 344-348, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | William J. Frascella |
The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 7(2), pp. 196-202, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Arto Salomaa |
Two Complete Axiom Systems for the Algebra of Regular Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(1), pp. 158-169, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Abian, Samuel Lamacchia |
Some Consequences of the Axiom of Power-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 30(3), pp. 293-294, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | Celso de Renna e Souza |
A note on continuous games, the notion of strategy and Zermelo's axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 6(3), pp. 183-189, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | William J. Frascella |
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 6(3), pp. 163-179, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | William J. Frascella |
Corrigendum and addendum to: "A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 6(4), pp. 323-324, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
A theorem of Sierpiński on triads and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 5(1), pp. 51-58, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
16 | George Goe |
Three axiom negation-alternation formulations of the truth-functional calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 5(2), pp. 129-132, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
16 | Thoralf Skolem |
Studies on the axiom of comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 4(3), pp. 162-170, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
16 | David Pager |
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 27(2), pp. 131-138, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Takeo Sugihara |
The Number of Modalities in T Supplemented by the Axiom CL2pL3p. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 27(4), pp. 407-408, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 3(3), pp. 206-208, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
A set-theoretical formula equivalent to the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 3(3), pp. 167-169, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Leo Simons |
A reduction in the number of independent axiom schemata for S4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 3(4), pp. 256-258, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
Certain formulas equivalent to the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 2(4), pp. 229-235, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
A simple formula equivalent to the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 1(3), pp. 115-117, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
16 | Boleslaw Sobocinski |
A note concerning the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 1(3), pp. 122, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
16 | Thoralf Skolem |
Investigations on a comprehension axiom without negation in the defining propositional functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 1(1-2), pp. 13-22, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
16 | Robin O. Gandy |
On the Axiom of Extensionality, Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 24(4), pp. 287-300, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
16 | Joseph R. Shoenfield |
Open Sentences and the Induction Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 23(1), pp. 7-12, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
16 | Alan Ross Anderson |
Independent Axiom Schemata for Von Wright's M. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 22(3), pp. 241-244, 1957. The full citation details ...](Pics/full.jpeg) |
1957 |
DBLP DOI BibTeX RDF |
|
16 | Robin O. Gandy |
On the Axiom of Extensionality-Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 21(1), pp. 36-48, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
16 | Elliott Mendelson |
The Independence of a Weak Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 21(4), pp. 350-366, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
16 | Alan Ross Anderson |
Independent Axiom Schemata for S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 21(3), pp. 255-256, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
16 | Vaclav Edvard Benes |
On the Consistency of an Axiom of Enumerability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 20(1), pp. 29-30, 1955. The full citation details ...](Pics/full.jpeg) |
1955 |
DBLP DOI BibTeX RDF |
|
16 | George E. Collins |
Distributivity and An Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(4), pp. 275-277, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
16 | Theodore Hailperin |
Remarks on Identity and Description in First-Order Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(1), pp. 14-20, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
16 | J. Richard Büchi |
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 18(2), pp. 125-135, 1953. The full citation details ...](Pics/full.jpeg) |
1953 |
DBLP DOI BibTeX RDF |
|
16 | Willard Van Orman Quine |
On omega;-Inconsistency and a So-Called Axiom of Infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 18(2), pp. 119-124, 1953. The full citation details ...](Pics/full.jpeg) |
1953 |
DBLP DOI BibTeX RDF |
|
16 | J. Barkley Rosser |
The Axiom of Infinity in Quine's New Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 17(4), pp. 238-242, 1952. The full citation details ...](Pics/full.jpeg) |
1952 |
DBLP DOI BibTeX RDF |
|
16 | J. Barkley Rosser, Atwell R. Turquette |
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 16(1), pp. 22-34, 1951. The full citation details ...](Pics/full.jpeg) |
1951 |
DBLP DOI BibTeX RDF |
|
16 | John R. Myhill |
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 16(1), pp. 35-42, 1951. The full citation details ...](Pics/full.jpeg) |
1951 |
DBLP DOI BibTeX RDF |
|
16 | J. Barkley Rosser, Atwell R. Turquette |
Axiom Schemes for M-Valued Propositional Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 10(3), pp. 61-82, 1945. The full citation details ...](Pics/full.jpeg) |
1945 |
DBLP DOI BibTeX RDF |
|
10 | Ebrahim Bagheri, Faezeh Ensan |
Evidential reasoning for the treatment of incoherent terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1381-1387, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning |
10 | Vladimir I. Danilov, Gleb A. Koshevoy |
Choice Functions and Extensive Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(1), pp. 69-94, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Pre-topology, Anti-matroid, Exchange and anti-exchange conditions, Matroid, Closure operator, Neighborhood system, Direct image |
10 | Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami |
Cognitive Radio game for secondary spectrum access problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(4), pp. 2121-2131, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael A. Cusumano |
Technology strategy and management - Strategies for difficult (and Darwinian) economic times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 52(4), pp. 27-28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ren-June Wang |
Knowledge, Time, and Logical Omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 394-407, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau |
Packaging Mathematical Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 327-342, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq |
10 | Delphine Longuet, Marc Aiguier |
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 261-276, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Federico Aschieri, Stefano Berardi |
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 20-34, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Takeshi Tsukada, Atsushi Igarashi |
A Logical Foundation for Environment Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 341-355, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael Karlinger, Millist W. Vincent, Michael Schrefl |
Inclusion Dependencies in XML: Extending Relational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings, pp. 23-37, 2009, Springer, 978-3-642-03572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kuo-pao Yang, Wendy Zhang, Frederick E. Petry |
Building content dictionaries for geometric algebra in OMDoc format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra |
10 | Walter Dean, Hidenori Kurokawa |
Knowledge, proof and the Knower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 81-90, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Keith Devlin |
Modeling Real Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Theories of Information ![In: Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information [Muenchenwiler Seminar (Switzerland), May 2009], pp. 234-252, 2009, Springer, 978-3-642-00658-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kai Brünnler, Lutz Straßburger |
Modular Sequent Systems for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 152-166, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ji Ma 0001, Mehmet A. Orgun, Abdul Sattar 0001 |
Theories of Trust for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 236-248, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Peter Höfner, Bernhard Möller |
An extension for feature algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 75-80, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algebraic characterisation of FOSD, feature algebra, feature oriented software development |
10 | Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo |
A Clausal Approach to Proof Analysis in Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 214-229, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ross Duncan, Simon Perdrix |
Graph States and the Necessity of Euler Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 167-177, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
graphical calculi, quantum computation, monoidal categories |
10 | Suzana Andova, Sonja Georgievska |
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 67-78, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Lijun Shan, Hong Zhu 0002 |
Semantics of Metamodels in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 55-62, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|